Port-arm archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: adding UEFI to NetBSD /boot/ [was Re: no HDMI on rpi4b NetBSD 10.1]
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 <sr%genyosha.net@localhost> 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.
Home |
Main Index |
Thread Index |
Old Index