| 30 Jan 2026 |
 K900 | I think it's one of the actually-supported targets for FreeBSD | 17:25:51 |
| K900 | Weirdly enough | 17:25:53 |
| K900 | I think it's because they don't get to any of the really weird bits | 17:26:02 |
| K900 | i.e. the GPU | 17:26:04 |
|  @stefan:chat.baiersdorfer.info joined the room. | 18:36:03 |
| @stefan:chat.baiersdorfer.info left the room. | 18:37:39 |
 jonhermansen | My plan was to boot using UEFI firmware. EDK2 is ported to Raspberry Pi. https://github.com/pftf/RPi4
For the first pass, I was thinking I can build the NixBSD image and copy this firmware by hand onto the boot media. | 19:29:14 |
| jonhermansen | I'm not too sure about firmware blobs that might be required for the GPU, but I will take a look. Probably I should put FreeBSD onto the Pi first just to test... | 19:30:16 |
