| 4 Jun 2023 |
 Alyssa Ross | I don't think that's even accurate | 18:04:52 |
| Alyssa Ross | it's never bash | 18:04:55 |
| Alyssa Ross | if it exists, it's busybox sh | 18:05:08 |
 artemis | im not even sure that my pi2 is like... booting the nixos image im feeding it | 21:30:15 |
| artemis | at all | 21:30:18 |
| artemis | i have been struggling to get even serial output | 21:30:25 |
| artemis | current state of the flake http://dpaste.com/5ZYQ2X66E | 21:30:45 |
| artemis | * i have been struggling to get even serial output and have so far failed | 21:30:56 |
| artemis | the raspi wiki says the pi2 uses mainline kernel. maybe i should try and switch to downstream kernel though im not quite sure how to do that | 21:31:35 |
| artemis | oh wow sd-image-raspberrypi.nix is suuuuper barebones huh? cant even change config.txt with it | 21:46:17 |
| 5 Jun 2023 |
 misuzu | In reply to @artemis:arty.chat
so i am stuck with the accursed raspi boot process Doesn't it have uefi support? https://github.com/ms-iot/RPi-UEFI#raspberrypi23-uefi | 15:03:42 |
 qbit | does the standard installer for pi3 use uefi? | 16:00:11 |
|  Geraint Ballinger joined the room. | 16:47:53 |
 Alex | In reply to @qbit:tapenet.org
does the standard installer for pi3 use uefi? The installer SD image seems to use u-boot.
The hardware itself does not support UEFI, but there are firmware images you can put on the SD card to get UEFI support. If you need it, you may want to check whether Nixpkgs has packaged it already. | 21:56:38 |
 emilytrau | 
Download Screenshot from 2023-06-05 15-23-06.png | 22:25:05 |
| emilytrau | nix compiles :oo | 22:25:28 |
