| 11 Mar 2024 |
 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 |
| Mic92 | How does the boodloader than find the nixos on the second partition i.e. the kernel, initrd and so on? | 19:40:47 |
| Steven Keuchel | LinuxBoot is a bit generic and scans for extlinux, grub.cfg, etc. | 19:41:10 |
| Steven Keuchel | you can also EFI boot | 19:41:44 |
| Steven Keuchel | but that does not work from SD | 19:41:50 |
| Steven Keuchel | SD has to be mbr, because the zsbl does not support gpt for some reason | 19:42:18 |
| Steven Keuchel | even though the Arm TF and the FAT code inside zsbl do support gpt. | 19:43:04 |
| Mic92 | Steven Keuchel: so you just went the grub route to have a /boot/grub.cfg? | 19:44:35 |
| Steven Keuchel | no I started with extlinux and then eventually switched to efi boot | 19:45:06 |
| Steven Keuchel | I think grub cross-compilation failed | 19:45:20 |
