| 16 Jan 2026 |
|  keiwop joined the room. | 12:44:00 |
| 17 Jan 2026 |
|  @normalcea:matrix.org removed their profile picture. | 04:09:02 |
| @normalcea:matrix.org removed their display name jasi 🏳️⚧️. | 04:09:10 |
| @normalcea:matrix.org left the room. | 04:09:29 |
| 22 Jan 2026 |
|  Lotte (it/its)/Cinny (she/her) θΔ& changed their profile picture. | 16:47:45 |
|  Moved to: @astro:c3d2.de changed their display name from Astro to Moved to: @astro:c3d2.de. | 21:38:39 |
| 25 Jan 2026 |
|  ramram.ink joined the room. | 10:21:57 |
| 26 Jan 2026 |
|  Artemis Tosini (NixOS) joined the room. | 16:47:22 |
| 27 Jan 2026 |
 alex taxia | hOI | 17:19:05 |
| alex taxia | been hearin' chatter here and there about NixBSD | 17:19:18 |
| alex taxia | this is, as they used to say, relevant to my interests | 17:19:35 |
| 29 Jan 2026 |
|  @oh_yeah:matrix.org left the room. | 00:21:42 |
 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 |
