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

Wed Nov 7 00:48:32 UTC 2018

> 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…