NixOS RISC-V - Public Room Timeline

	NixOS RISC-V	239 Members
	NixOS on RISC-V https://wiki.nixos.org/wiki/RISC-V https://pad.lassul.us/NixOS-riscv64-linux	73 Servers

You have reached the beginning of time (for this room).

Sender	Message	Time
29 Mar 2025
12b	Hello. I'm a little bit of a newvie on NixOS. I've been using it on my x86_64 laptop for a couple of months. And I did some install on a few ARM boards. I'm now trying to install NixOS on RISC-V. I first tried on a Vision Five 2. I managed to have NixOS running on it. But it was kinf of a pain. And I faced the slow build times and the compilaiton errors mentioned In this channel when doing `nixos-rebuild` on it. I bough myself an OrangePi RV2 and it just arrived yesterday. I installed the official Ubuntu image on it, on an SSD. So far I'm quite pleased. The partiioning scheme they use has only one partition on the SSD. Quite different from the many partitions nonsense I had to creaté to install NixOS on an SSD for the Vision Five 2. Also the performances of the board are better. But now, I'm clueless at how I could install NixOS on it.	06:59:21
Alex	"Official" as in an image distributed by Ubuntu maintainers and not the manufacturer?	07:01:32
12b	no sorry I meant distributed by the manufacturer	21:35:06
Alex	Try to find the sources for the Linux kernel and whatever bootloader they're using (they probably have custom patches). You can customise NixOS to use those sources. You may also need to search for documentation on how to setup the bootloader and replicate it with a bit of Nix. Other than that, it's no different from doing a regular NixOS install. Of course, you still can't expect to have riscv64 from the official NixOS binary cache, so expect the system build to take a while. Some things can be disabled to save time, but most of the things that are enabled by default are somewhat "essential".	21:39:11
12b	the kernel source they are using is in https://github.com/orangepi-xunlong/orangepi-build for the bootloader I don't know.	21:56:26
30 Mar 2025
	98765abc joined the room.	02:13:47
	shorden joined the room.	18:46:30
31 Mar 2025
Michael	In reply to @lab.8916100448256:matrix.org the kernel source they are using is in https://github.com/orangepi-xunlong/orangepi-build for the bootloader I don't know. my board should arive this week, so I've been poking around a bit. The relevant repositiories should be https://github.com/orangepi-xunlong/linux-orangepi/tree/orange-pi-6.6-ky https://github.com/orangepi-xunlong/u-boot-orangepi/tree/v2022.10-ky	07:05:49
Michael	In reply to @lab.8916100448256:matrix.org the kernel source they are using is in https://github.com/orangepi-xunlong/orangepi-build for the bootloader I don't know. * my board should arrive this week, so I've been poking around a bit. The relevant repositiories should be https://github.com/orangepi-xunlong/linux-orangepi/tree/orange-pi-6.6-ky https://github.com/orangepi-xunlong/u-boot-orangepi/tree/v2022.10-ky	07:10:07
12b	Ah, thnaks. I saw a relevant commit in their default branch `next` and I did not look further	07:10:29
12b	* Ah, thanks. I saw a relevant commit in their default branch `next` and I did not look further	07:10:37
12b	Redacted or Malformed Event	07:12:31
Michael	https://github.com/orangepi-xunlong/orangepi-build/blob/36a2f27f9b2d064331e4e22ccd384e0d269dbd31/external/config/sources/riscv64.conf#L30 here you can find the links, took me some time to dig this up :D	07:14:33
12b	sorry I did not see you posted the bootoader link already	07:14:37
Michael	https://github.com/orangepi-xunlong/orangepi-build/blob/36a2f27f9b2d064331e4e22ccd384e0d269dbd31/external/config/sources/families/ky.conf might also be interesting	07:21:09
12b	I meant in the repo link I posted	07:21:49
12b	Sorry a little bit early for me. I'm not fully awake.	07:22:40

Show newer messages

Back to Room ListRoom Version: 10