10.0 BETA: Managed to get boot menu; it doesn't find kernel though

To: current-users <current-users%netbsd.org@localhost>
Subject: 10.0 BETA: Managed to get boot menu; it doesn't find kernel though
From: Mayuresh <mayuresh%acm.org@localhost>
Date: Tue, 27 Dec 2022 22:10:24 +0530

On a laptop that allows me to add UEFI boot option, I could choose the
path of bootx64.efi and the netbsd option appears in the UEFI menu on
boot.

On choosing this option when booting, I get the boot prompt. But on
choosing default option 1 to boot normally, it complains that it doesn't
find the netbsd kernel.

The kernel happens to be on /dev/dk5. Is it required to be copied on the
UEFI partition? Or alternatively, how to specify the disk path to a UEFI
boot option?

-- 
Mayuresh

Follow-Ups:
- Re: 10.0 BETA: Managed to get boot menu; it doesn't find kernel though
  - From: Mayuresh

Prev by Date: Re: Kernel config options for drm [ Was Re: No HDMI output... ]
Next by Date: Re: 10.0 BETA: Managed to get boot menu; it doesn't find kernel though
Previous by Thread: 10.0 BETA : Status of Wireless N
Next by Thread: Re: 10.0 BETA: Managed to get boot menu; it doesn't find kernel though
Indexes:

Home | Main Index | Thread Index | Old Index