| 11 Mar 2024 |
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 |