Re: debugging a kernel that doesn't start

To: tech-kern%netbsd.org@localhost
Subject: Re: debugging a kernel that doesn't start
From: Emmanuel Dreyfus <manu%netbsd.org@localhost>
Date: Wed, 14 Sep 2022 15:17:19 +0000

On Mon, Sep 12, 2022 at 10:56:46PM +0200, Edgar Fuß wrote:
> Probably stupid question: I can switch the machine to UEFI. Is it easier 
> to debug things from there that from a BIOS boot?

My experience on a mac is that it helps a lot. You can printf() during
early boot, until you call UEFI's ExitBootServices. Removing that call
may cause a crash at some time, but it will let you printf() a bit 
further.

-- 
Emmanuel Dreyfus
manu%netbsd.org@localhost

References:
- debugging a kernel that doesn't start
  - From: Edgar Fuß
- Re: debugging a kernel that doesn't start
  - From: Robert Swindells
- Re: debugging a kernel that doesn't start
  - From: Edgar Fuß
- Re: debugging a kernel that doesn't start
  - From: Mouse
- Re: debugging a kernel that doesn't start
  - From: Edgar Fuß

Prev by Date: Re: Dell PERC H330: no disks, no volumes
Next by Date: Re: Problems with implementing EFI runtime support for x86
Previous by Thread: Re: debugging a kernel that doesn't start
Next by Thread: Re: debugging a kernel that doesn't start
Indexes:

Home | Main Index | Thread Index | Old Index