How do you boot the debug kernel installed from kernel-dbg.txz?

[Pete Wright]

On 11/6/18 4:47 PM, Rainer Duffner wrote:
>
>> Am 07.11.2018 um 01:40 schrieb Pete Wright <pete at nomadlogic.org>:
>>
>> 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 <https://www.freebsd.org/doc/en_US.ISO8859-1/books/developers-handbook/kerneldebug.html>
>>
>> hope this helps,
>>
>> -pete
>
>
> Yes, you are right.
>
> However obvious it may seem, it isn’t for somebody who’s never really done that…
>
>
> I asked the same question in my PR and got an answer immediately - didn’t expect that to go that fast…

great, glad i'm not spreading mis-info!  i don't think it's too obvious 
IMHO, took me a while to grok it a year or so ago when i was debugging 
some graphics driver issues :)


-p

-- 
Pete Wright
pete at nomadlogic.org
@nomadlogicLA