| 30 Jan 2026 |
 Grimmauld (any/all) | won't the wonky raspi hardware give you issues? | 17:24:36 |
 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 |
| 31 Jan 2026 |
| jonhermansen | 
Download IMG_20260131_124020.jpg | 18:02:41 |
| jonhermansen | Excuse the crappy photo quality. But I got the Pi booting :) Because the UEFI firmware supports ACPI, there's no need for devicetrees or anything. | 18:02:48 |
| 1 Feb 2026 |
|  Fernando Rodrigues changed their display name from SigmaSquadron to Fernando Rodrigues. | 10:41:51 |
|  broken_pipe joined the room. | 13:40:18 |
|  zimward changed their display name from zimward @fosdem to zimward. | 20:36:46 |
| 2 Feb 2026 |
 Puna | 
Download image.png | 12:21:27 |
| Puna | (no nice docs on the exact format for this icon :<) | 12:22:46 |
