NixOS RISC-V - Public Room Timeline - Matrix Static

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

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

Sender	Message	Time
16 Apr 2024
tauphi	* what's perplexing to me, is that the build phase took less than a day, and the check phase was taking almost 4 days before i cancelled it	23:45:52
tauphi	ok i ran the build again, and this time the build failed after 20 minutes, so clearly the first time was a weird fluke	23:56:51
17 Apr 2024
silvanshade	I created a nix flake with overlays for gcc and clang with `xtheadvector` support. Maybe interesting for some people to experiment with. https://github.com/milkv-community/nixpkgs-xthead-toolchains	12:02:29
Alex	I tried updating my VF2 to latest nixos-unstable (as of ~1 week ago) and now it won't boot... `Unhandled exception: Instruction access fault EPC: ffffffa700140304 RA: 00000000cb55d034 TVAL: ffffffa700140304 EPC: ffffffa67359d304 RA: 000000003e9ba034 reloc adjusted` (Then a dump of the registers.) It seems like there's something wrong with the bootloader on the EFI partition. Switching back to the bootloader of the previous version worked. Change that broke the system: https://github.com/AlexandreTunstall/nixos-riscv/commit/b50ef62175853684441a9e312aa12218f5be79d3 Good Nixpkgs revision: `2726f127c15a4cc9810843b96cad73c7eb39e443` Bad Nixpkgs revision: `4cba8b53da471aea2ab2b0c1f30a81e7c451f4b6` Has anyone else booted such a recent Nixpkgs version?	22:10:19
Alex	(I did try reformatting the boot partition several times and checking for Nix store corruption. Neither of those resolved the issue.)	22:32:49
18 Apr 2024
	nscnt joined the room.	13:20:59
Mic92	Steven Keuchel: Do you have some configuration for booting with EFI? I think I flashed edk2 correctly but it's hard to verify without any graphical output. I have the NixOS image you provided on the sd card and the original fedora on the NVME. In theory the Fedora should also boot with EFI because it has a efi grub binary. Removing the SD-card however will result in nothing to happen.	13:24:11

Show newer messages

Back to Room ListRoom Version: 10