eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

223
active users

#uefi

1 post1 participant0 posts today
Continued thread

The firmware on a #RaspberryPi 4 does not mind if one changes the partition types of the #FreeBSD and #OpenBSD FAT volumes to EFI system, matching #NetBSD in spirit if not in modern partitioning scheme.

OpenBSD again almost fell at the hurdle here. It is extraordinarily sensitive to the status of its UFS1 partition. Touch it, or attempt to use a fresh one made from scratch, and its booloader thinks that it is talking to an esp device instead of to an sd device, and fails. This is a very strange dependency.

NetBSD, in contrast, did not bat an eyelid when I splatted about 5GiB of home directory, dotfiles, and tooling onto its UFS1 volume, using pax on another machine which had the TF card in a card reader.

NetBSD also auto-fixes the backup copy of the EFI partition table after its device re-sizing step. It didn't bat an eyelid, again, when I adjusted the initial card myself ahead of time using FreeBSD's #gpart recover.

Continued thread

This is good, because installing and using #TianoCore #UEFI firmware in place of u-boot seems to be the only way to get the #OpenBSD boot loader to recognize the #RaspberryPi's on-board display and a USB keyboard.

It is otherwise insistent on using the UART, which makes it impossible to press that "any" key to get the boot loader to stop so that one can type the magic incantation to get the kernel proper — in its turn — to use the display and keyboard. It too defaults to using the UART.

This is a Pi 4 in a PiHut "modular" case, still resembling that #Blakes7 prop. It's not designed for DB9 sockets, but it has HDMI and USB holes, plus optional plastic shields for covering them to just let power and Ethernet in when the Pi is in production.

Maintenance with just a keyboard and monitor is the goal. OpenBSD barely cleared this first hurdle of controlling its boot loader.

(It fell at a subsequent hurdle, which is why I'm now trying #NetBSD and #FreeBSD.)

Continued thread

#FreeBSD's FAT16 partition is 50MiB, and #NetBSD's FAT32 partition is 80MiB. These comfortably take additional files.

FAT32 is technically superior, with the variable-length root directory, but for DASD volumes whose whole purpose is to contain a couple of tens of boot loader files it's not much of a practical advantage here. And indeed on the downside, the FATs are an order of magnitude bigger.

#OpenBSD's FAT16 partition in contrast is a tiny 8MiB. #TianoCore UEFI firmware, approximately 4MiB, does not fit on it without deleting stuff.

Ironically, it is preceded by twice that amount, 16MiB, in free space not allocated to any partition. It's possible to delete the 8MiB Microsoft partition and re-create a 23MiB one, as long as one saves and restores the contents.

It's interesting to see who the early adopters in the BSD world are when it comes to various things. Such as the partitioning on their #RaspberryPi installer images.

#OpenBSD has an old "MBR" partition table. No container partitions, just a UFS1 volume in an OpenBSD primary partition and a FAT16 volume in a >1024cyl Microsoft primary partition.

#FreeBSD has an old "MBR" partition table. It too has a FAT16 volume in a >1024cyl Microsoft partition. It has container partitions, though, with an even older BSD disklabel in a FreeBSD primary partition and a UFS2 volume contained inside that.

Waving hello from the 21st century, #NetBSD has an EFI partition table. No container partitions, of course. There is a FAT32 volume in an EFI System partition, and a UFS1 volume in a NetBSD partition.

"All you ever wanted to know about #UEFI", including:

"Even if you don't grasp the details of this post, grasp this: it is completely different. Completely and utterly different from how #BIOS booting works. You cannot apply any of your understanding of BIOS booting to native UEFI booting. You cannot make a little tweak to a system designed for the world of BIOS booting and apply it to native UEFI booting. You need to understand that it is a completely different world".

happyassassin.net/posts/2014/0

AdamW on Linux and more · UEFI boot: how does that actually work, then?It's AdamW Essay Time again! If you're looking for something short and snappy, look elsewhere. Kamil Paral kindly informs me I'm a chronic sufferer of Graphomania. Always nice to know what's wrong wi