Re: adding UEFI to NetBSD /boot/ [was Re: no HDMI on rpi4b NetBSD 10.1]
Ramiro Aceves <[email protected]> Wed, 23 Jul 2025 07:47:02 +0200
| Newsgroups | gmane.os.netbsd.ports.arm |
|---|---|
| Message-ID | <[email protected]> |
El 22/7/25 a las 22:49, Steve Rikli escribió: > On Tue, Jul 22, 2025 at 07:23:26PM +0200, Ramiro Aceves wrote: >> El 22 de julio de 2025 18:38:46 CEST, Steve Rikli <[email protected]> escribió: >>> On Tue, Jul 22, 2025 at 12:26:59PM +0200, Martin Husemann wrote: >> >>>> Once UEFI runs, everything later is common again and should be well >>>> documented. >>> >>> Agreed. Once I had NetBSD itself installed and running on the sysdisk, >>> post-install configuration for rpi4 was nearly identical to my other >>> i386 and amd64 systems. Pleasantly so. :-) >> >> Just to clarify it , the only method to have HDMI output in the RPi4 is via UEFI firmware? > > That was my experience, yes. > > sr. Thanks. Another thing that has puzzled me is the following: In my armv6 RaspberrypiZeroW, there is no /netbsd kernel file and /boot/kernel.img seems to be the loaded kernel. netbsd-raspaZeroW$ file kernel.img lhs/off overflow 2148331788 0 kernel.img: data netbsd-raspaZeroW$ ls -lh /boot total 22M -rwxr-xr-x 1 root wheel 1.6K Dec 17 2024 LICENCE.broadcom -rwxr-xr-x 1 root wheel 51K Dec 17 2024 bootcode.bin -rwxr-xr-x 1 root wheel 115B Dec 17 2024 cmdline.txt -rwxr-xr-x 1 root wheel 115B Dec 20 2024 cmdline.txt-bak -rwxr-xr-x 1 root wheel 464B Dec 20 2024 config.txt -rwxr-xr-x 1 root wheel 464B Dec 20 2024 config.txt-bak drwxr-xr-x 1 root wheel 2.0K Nov 6 2023 dtb -rwxr-xr-x 1 root wheel 7.1K Dec 17 2024 fixup.dat -rwxr-xr-x 1 root wheel 3.1K Dec 17 2024 fixup_cd.dat -rwxr-xr-x 1 root wheel 10K Sep 13 2024 fixup_x.dat -rwxr-xr-x 1 root wheel 7.5M Dec 17 2024 kernel.img -rwxr-xr-x 1 root wheel 7.4M Dec 17 2024 kernel7.img -rwxr-xr-x 1 root wheel 2.8M Dec 17 2024 start.elf -rwxr-xr-x 1 root wheel 789K Dec 17 2024 start_cd.elf -rwxr-xr-x 1 root wheel 3.6M Sep 13 2024 start_x.elf netbsd-raspaZeroW$ ls -lh / total 1.0G drwxr-xr-x 2 root wheel 512B Dec 16 2024 altroot drwxr-xr-x 2 root wheel 1.0K Dec 20 2024 bin drwxr-xr-x 1 root wheel 2.0K Dec 31 1979 boot drwxr-xr-x 9 root wheel 34K Dec 20 2024 dev drwxr-xr-x 30 root wheel 2.5K Jul 16 21:20 etc -rw------- 1 root wheel 16M Jul 13 15:58 ffmpeg7.core drwxr-xr-x 3 root wheel 512B Jul 4 2024 home drwxr-xr-x 3 root wheel 2.5K Dec 20 2024 lib drwxr-xr-x 3 root wheel 512B Dec 16 2024 libdata drwxr-xr-x 5 root wheel 512B Dec 20 2024 libexec drwxr-xr-x 2 root wheel 512B Dec 16 2024 mnt drwxr-xr-x 2 root wheel 512B Mar 2 2024 mnt2 -rw-r--r-- 1 root wheel 672B Sep 7 2024 ping_test_log dr-xr-xr-x 1 root wheel 512B Jul 23 07:36 proc drwxr-xr-x 2 root wheel 3.0K Dec 20 2024 rescue drwxr-xr-x 9 root wheel 1.0K Jun 24 13:32 root drwxr-xr-x 2 root wheel 3.0K Dec 20 2024 sbin drwxr-xr-x 3 root wheel 512B Sep 19 2024 srv drwxr-xr-x 3 root wheel 512B Dec 16 2024 stand -rw------- 1 root wheel 1.0G Dec 12 2023 swap drwxr-xr-x 2 root wheel 512B Jan 22 2024 targetroot drwxrwxrwt 2 root wheel 512B Jul 23 04:40 tmp drwxr-xr-x 15 root wheel 512B May 1 21:46 usr drwxr-xr-x 28 root wheel 512B Jan 13 2025 var On the other side, in my UEFI firmwared Raspberrypi4, netbsd.img is not used (I believe it is only used when no UEFI fw is installed). There is a /netbsd kernel in the usual standard place: netbsd-raspa4$ file netbsd.img netbsd.img: Linux kernel ARM64 boot executable Image, little-endian, 4K pages note "Linux" there.... netbsd-raspa4$ ls -lh total 30M drwxr-xr-x 1 root wheel 1,0K Mar 28 2024 EFI -rwxr-xr-x 1 root wheel 1,6K Mar 28 2024 LICENCE.broadcom -rwxr-xr-x 1 root wheel 3,8M Jan 17 2025 RPI_EFI.fd -rwxr-xr-x 1 root wheel 3,2M Jan 17 2025 RPi4_UEFI_Firmware_v1.40.zip -rwxr-xr-x 1 root wheel 4,8K Jan 17 2025 Readme.md -rwxr-xr-x 1 root wheel 53K Jan 17 2025 bcm2711-rpi-4-b.dtb -rwxr-xr-x 1 root wheel 53K Jan 17 2025 bcm2711-rpi-400.dtb -rwxr-xr-x 1 root wheel 54K Jan 17 2025 bcm2711-rpi-cm4.dtb -rwxr-xr-x 1 root wheel 51K Mar 28 2024 bootcode.bin -rwxr-xr-x 1 root wheel 33B Mar 28 2024 cmdline.txt -rwxr-xr-x 1 root wheel 243B Jan 18 2025 config.txt -rwxr-xr-x 1 root wheel 243B Dec 3 2024 config.txt-bak drwxr-xr-x 1 root wheel 1,0K Mar 28 2024 dtb drwxr-xr-x 1 root wheel 1,0K Sep 11 2024 firmware -rwxr-xr-x 1 root wheel 7,1K Mar 28 2024 fixup.dat -rwxr-xr-x 1 root wheel 5,3K Jan 17 2025 fixup4.dat -rwxr-xr-x 1 root wheel 3,1K Mar 28 2024 fixup4cd.dat -rwxr-xr-x 1 root wheel 3,1K Mar 28 2024 fixup_cd.dat -rwxr-xr-x 1 root wheel 16M Oct 27 2024 netbsd.img drwxr-xr-x 1 root wheel 1,0K Sep 11 2024 overlays -rwxr-xr-x 1 root wheel 2,8M Mar 28 2024 start.elf -rwxr-xr-x 1 root wheel 2,2M Jan 17 2025 start4.elf -rwxr-xr-x 1 root wheel 789K Mar 28 2024 start4cd.elf netbsd-raspa4$ ls -lh / total 68M drwxr-xr-x 2 root wheel 512B Dec 16 2024 altroot drwxr-xr-x 2 root wheel 1,0K Dec 19 2024 bin drwxr-xr-x 1 root wheel 3,0K Dec 31 1979 boot drwxr-xr-x 10 root wheel 33K May 30 08:14 dev drwxr-xr-x 30 root wheel 2,5K Jul 14 14:14 etc drwxr-xr-x 3 root wheel 512B Apr 25 2024 home drwxr-xr-x 3 root wheel 3,0K Dec 19 2024 lib drwxr-xr-x 3 root wheel 512B Dec 16 2024 libdata drwxr-xr-x 5 root wheel 512B Dec 19 2024 libexec drwxr-xr-x 2 root wheel 512B Dec 16 2024 mnt drwxr-xr-x 2 root wheel 512B Apr 26 2024 mnt2 -rw-r--r-- 1 root wheel 17M Dec 19 2024 netbsd -rwxr-xr-x 1 root wheel 17M Oct 8 2024 netbsd.old -rwxr-xr-x 1 root wheel 17M Oct 8 2024 netbsd.old.1 drwxr-xr-x 3 root wheel 34K Jun 30 2024 olddev -rw-r--r-- 1 root wheel 17M Dec 3 2024 onetbsd dr-xr-xr-x 1 root wheel 512B Jul 23 07:40 proc drwxr-xr-x 2 root wheel 3,0K Dec 19 2024 rescue drwxr-xr-x 16 root wheel 1,0K Jul 21 18:53 root drwxr-xr-x 2 root wheel 3,0K Dec 19 2024 sbin drwxrwxr-x 7 root wheel 512B Jul 9 09:41 srv drwxr-xr-x 3 root wheel 512B Dec 16 2024 stand drwxr-xr-x 2 root wheel 512B Apr 25 2024 targetroot drwxrwxrwt 5 root wheel 512B Jul 23 07:39 tmp drwxr-xr-x 20 root wheel 512B May 7 20:02 usr drwxr-xr-x 27 root wheel 512B Dec 16 2024 var Regards.