| 11 Mar 2024 |
 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 |
| Mic92 | So you updated the firmware on spi flash and than boot with EFI from the nvme? | 19:45:59 |
| Steven Keuchel | yes | 19:46:11 |
| Mic92 | Also sounds like an option. | 19:46:19 |
| Steven Keuchel | https://github.com/sophgo/sophgo-doc/blob/main/SG2042/HowTo/Configuration%20Info%20in%20INI%20file.rst | 19:46:54 |
| Mic92 | To flash the spi, do I dd the .bin to an sd card? | 19:47:00 |
| Steven Keuchel | says how to switch to edk2 and how to flash | 19:47:02 |
| Mic92 | Ah no you probably did this from a linux linux | 19:47:34 |
| Steven Keuchel | the only documentation about flashing to SPI I found is just via mtd-utils in linux | 19:47:39 |
| Steven Keuchel | no idea if you can flash over UART | 19:47:49 |
| Steven Keuchel | or something else | 19:48:07 |
| Mic92 | Steven Keuchel: ok, maybe I am blind but I don't see the edk2 section here: https://github.com/sophgo/sophgo-doc/blob/main/SG2042/HowTo/Configuration%20Info%20in%20INI%20file.rst | 19:50:26 |
| Steven Keuchel | oh I thought it was on there, but I seem to misremember. | 19:52:32 |
| Mic92 | I guess it was this one? https://github.com/sophgo/sophgo-edk2 | 19:52:43 |
 [0x4A6F] | In reply to @joerg:thalheim.io
How can I bootstrap the riscv64 nix binary tarball? There is also a not yet opened PR from me here. Was able to get the tarball to that scaleway em-rv Debian install. | 19:52:45 |
| [0x4A6F] | In reply to @fgaz:matrix.org
Scaleway now hosts RV servers based on the TH1520 https://labs.scaleway.com/en/em-rv1/ Oh no:
.=@@@@@@@@=.
@@@@@@@@@@@@@@@@
@@@@@@ @@@@@@ ____ __ __ __
@@@@@ @@@@@ / __/______ _/ /__ _ _____ ___ __ / / ___ _/ / ___
@@@@ @@@@ _\ \/ __/ _ `/ / -_) |/|/ / _ `/ // / / /__/ _ `/ _ \(_-<
@@@ @@@@@@@@@ @@@ /___/\__/\_,_/_/\__/|__,__/\_,_/\_, / /____/\_,_/_.__/___/
@@@ @@@@@@@@@ @@@ /__/
@@@ @@@@ @@@ --------------------------------------------------------
@@@ @@@@ @@@@ @@@ The world's first on-demand RISC-V server by Scaleway.
@@@ @@@@ @@@@ @@@ --------------------------------------------------------
@@@ @@@@ @@@ Arch : riscv64
@@@ @@@@@@@@@ @@@ CPU : 4 cores @ 1.848Ghz - isa rv64imafdcvsu
@@@ @@@@@@@@@ @@@ Memory : 16GiB
@@@ @@@ Storage : 128GB
@@@ @@@ Network : 100Mb/s
--------------------------------------------------------
@@@@@@@@@@@@@@@@@@@@@@@@@@@@ More details: https://labs.scaleway.com/en/em-rv1/
@@@@@@@@@@@@@@@@@@@@@@@@@@@@ --------------------------------------------------------
Linux vm-riscv64-linux 5.10.113+ #1 SMP PREEMPT Thu Feb 29 09:44:59 UTC 2024 riscv64
# curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install
nix-installer: unknown CPU type: riscv64
# curl -sL https://nixos.org/nix/install | sh -s -- --daemon
sh: sorry, there is no binary distribution of Nix for your platform
| 19:53:03 |
| Steven Keuchel | essentially you need to write a conf.ini to tell zsbl to load SG2042.fd, which is the edk2 blob | 19:53:24 |
| Steven Keuchel | that is what that page is about | 19:53:33 |
| Steven Keuchel | mine looks like this
[sophgo-config]
[devicetree]
name = mango-milkv-pioneer.dtb
[kernel]
name = SG2042.fd
[eof]
| 19:53:45 |
| Mic92 | Ok. Thanks, that's hopefully all information we need. | 19:54:04 |
| [0x4A6F] | In reply to @0x4a6f:matrix.org
There is also a not yet opened PR from me here. Was able to get the tarball to that scaleway em-rv Debian install. Opened it: https://github.com/NixOS/nix/pull/10228 | 20:15:13 |
 Alex | In reply to @joerg:thalheim.io
How can I bootstrap the riscv64 nix binary tarball? It can be natively compiled from source if you have all the required dependencies installed.
It might also be possible to cross-compile the Nix installer, though I've never tried that. | 20:17:53 |
