| 11 Mar 2024 |
|  Mic92 joined the room. | 19:21:12 |
| Mic92 | How can I bootstrap the riscv64 installer? | 19:22:18 |
| Mic92 | I got this guy here, that needs NixOS: https://github.com/milkv-pioneer/ | 19:22:33 |
| 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 |
| 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 |
| Mic92 | S. Reimers: order some sdcard :) | 19:32:53 |
| S. Reimers | I think we have one (: | 19:33:16 |
| Steven Keuchel | best grab the bootloader from https://github.com/sophgo/bootloader-riscv/actions | 19:33:17 |
| Steven Keuchel | the sophgo-bootloader-single build artifact is what you want.
(-multi is for some multisocket board) | 19:34:23 |
| Steven Keuchel | it contains a .bin to flash to SPI and an SD .img that contains just one partition with all the boot stages | 19:35:02 |
| Steven Keuchel | I hope you got the box though, not just the bare board, because by default the bootloader does not output the bootmenu on serial :( | 19:35:51 |
| Mic92 | We have the case | 19:36:05 |
| Mic92 | USB-C serial works | 19:36:16 |
| Mic92 | I am going to chatgpt some docs out of this conversation. | 19:37:05 |
| Steven Keuchel | with that on an sdcard, you can simply cross-compile nixos to a second partition.
or to a USB, SATA, or NVME drive . | 19:37:08 |
| Steven Keuchel | oh and I'm running this kernel now https://github.com/sophgo/linux-riscv/tree/sg2042-dev-6.6 | 19:39:48 |
