| 29 Jan 2026 |
 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 - nix.zone 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 |
| 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 |
| 23 May 2021 |
|  @grahamc:nixos.org set the history visibility to "world_readable". | 12:23:31 |
| @grahamc:nixos.org changed the room name to "" from "". | 12:23:31 |
| @grahamc:nixos.org invited  Alyssa Ross. | 12:31:10 |
| Alyssa Ross joined the room. | 13:20:51 |
|  Server Stats Discoverer (traveler bot) joined the room. | 13:28:40 |
|  abbe joined the room. | 13:29:04 |
|  andi- joined the room. | 13:30:12 |
|  lukegb (he/him) joined the room. | 13:34:50 |
|  cleverca22 joined the room. | 13:36:59 |
|  sterni joined the room. | 13:39:02 |
|  thefloweringash joined the room. | 14:03:26 |
