Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 6 Nov 2018 16:40:52 -0800
From:      Pete Wright <pete@nomadlogic.org>
To:        Rainer Duffner <rainer@ultra-secure.de>, stable@freebsd.org
Subject:   Re: How do you boot the debug kernel installed from kernel-dbg.txz?
Message-ID:  <9f460694-5ce6-132e-e0cc-6b7d01e36f2d@nomadlogic.org>
In-Reply-To: <C0A5F11B-9739-4B55-81AF-B19BE026D708@ultra-secure.de>
References:  <C0A5F11B-9739-4B55-81AF-B19BE026D708@ultra-secure.de>

next in thread | previous in thread | raw e-mail | index | archive | help

On 11/6/18 4:22 PM, Rainer Duffner wrote:
> Hi,
>
> I need to install a debug-kernel.
>
> I didn’t install the debug-kernel when I installed the system (11.2), but I downloaded the archive.
>
> I can unpack it - but how do I then select the kernel at boot?

I may be mistaken, but I don't think you actually need to boot the 
debug-kernel and modules (in fact I don't think you can), rather those 
files are intended for being read by kgdb while debugging a core that is 
generated by savecore(8) so that you have access to full symbol table 
etc.  this page section in the dev handbook debugging kernel core dumps:

https://www.freebsd.org/doc/en_US.ISO8859-1/books/developers-handbook/kerneldebug.html

hope this helps,

-pete

-- 
Pete Wright
pete@nomadlogic.org
@nomadlogicLA




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?9f460694-5ce6-132e-e0cc-6b7d01e36f2d>