| 11 Mar 2024 |
 Mic92 | * How can I bootstrap the riscv64 nix binary tarball? | 19:22:47 |
| Mic92 | In reply to @skeuchel:matrix.org
For the pioneer: the sg2042-dev vendor kernel is not stable, and the PCIe support is a bit wonky which I would consider as a bigger issue at this point. But hopefully those can be resolved. Ah. do you own the hardware? | 19:24:07 |
 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 |
