| 29 Jan 2026 |
 jonhermansen | I put together a dual-bootable NixBSD and NixOS image for those interested
https://github.com/jonhermansen/nixbsd-demo | 17:01:22 |
 andromeda | woah cool, I'll definitely check it out | 19:52:23 |
| 30 Jan 2026 |
|  ocfox changed their profile picture. | 02:19:31 |
|  Lotte (it/its)/Cinny (she/her) θΔ& changed their profile picture. | 07:54:02 |
|  Deep Rest joined the room. | 09:38:56 |
|  matthewcroughan @fosdem changed their display name from matthewcroughan to matthewcroughan @fosdem. | 13:43:01 |
|  zimward @fosdem changed their display name from zimward to zimward @fosdem. | 16:19:15 |
| jonhermansen | 
Download 20260130_12h01m57s_grim.png | 17:15:53 |
| jonhermansen | Got NixBSD building and starting to boot on ARM. Trying to get a UEFI build going for my Raspberry Pi 4... | 17:15:58 |
 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 |
