| 11 Mar 2024 |
 Steven Keuchel | Yes | 19:25:05 |
 Mic92 | What OS did you put on it? | 19:25:55 |
| Steven Keuchel | NixOS :D | 19:26:05 |
| Mic92 | Cool. What do I need? | 19:26:25 |
| Mic92 | I saw it's booting the firmware from the SPI. | 19:26:51 |
| Steven Keuchel | I have started packaging the stuff here
https://github.com/skeuchel/nixos-hardware/commit/46033abd4332bc39c3d716e71ebfab6bad4ce0f0 | 19:27:52 |
| Steven Keuchel | I have trouble with LinuxBoot though. | 19:28:07 |
| Steven Keuchel | you can cross-compile a basic system first. boot it and then natively compile a proper one | 19:29:11 |
| Mic92 | How did you format and place all those files? Do I just need to put things into fat? | 19:30:15 |
|  S. Reimers joined the room. | 19:31:09 |
| Steven Keuchel | do you want to boot from SPI or SD? | 19:31:45 |
| Mic92 | Either is fine. | 19:31:54 |
| Steven Keuchel | you have to use a newer bootloader than the pre-flashed one | 19:32:22 |
| Steven Keuchel | so to boot from SPI you would have to flash from an existing image first | 19:32:37 |
