Exotic Nix Targets | 325 Members | |
| 100 Servers |
| Sender | Message | Time |
|---|---|---|
| 25 Feb 2022 | ||
| I cheated, it's a cross compiled kernel only (because I still have to build it natively). | 19:27:40 | |
| Yeah, I have been experimenting with UEFI and was thinking the same thing. | 19:28:05 | |
* The Fedora image boots using UEFI, and the factory U-Boot isn't set up to boot with extlinux.conf with various environment variables like kernel_addr_r missing. After setting the environments manually I could start the kernel, but we should use UEFI as well. | 19:28:07 | |
| * Yeah, I have been experimenting with EFI and was thinking the same thing. | 19:28:14 | |
| The sdImage derivation needs some work though, think it would be nice if it could generate an ESP + systemd-boot | 19:29:15 | |
| Yeah, that would be the annoying part. The sd-image generator is very inflexible. | 19:30:23 | |
| I have some half-finished derivation to declaratively specify a partition table for sdImage, but hadn't gotten around to finishing it. | 19:32:59 | |
| For this, we should be collaborating with @samueldr because that's what he's doing in tow-boot. | 19:35:00 | |
| I'm not sure whether he intends to upstream any of that into nixpkgs, though. | 19:35:24 | |
| Right, was not aware | 19:41:20 | |
| Ok, gonna continue tonight | 19:48:40 | |
| So for some reason my standalone cross compiled kernel starts, but the one I yanked out of a sdImage build does not. Same tree, so it must be the config? | 19:56:35 | |
| Might be, how are you generating the initrd in the standalone case? | 22:34:05 | |
| I pushed my expression here: https://github.com/zhaofengli/nixos-riscv64/blob/master/pkgs/linux-visionfive/default.nix | 22:36:37 | |
| Thanks. I wasn't using an initrd yet. I think I sorted it: https://zc.lc/linux-5.16-visionfive.nix | 23:27:03 | |
| 23:27:18 | |
| Those end up being built as a module on NixOS compared to the Fedora defconfig | 23:27:52 | |
| 27 Feb 2022 | ||
| For those with a VisionFive board, a NixOS SD image is now available at https://github.com/zhaofengli/nixos-riscv64/releases/tag/2022022600 (more info here). Could you give it a try? Thanks to ius for figuring out the kernel issues above (additionally stmmac needs to be built-in and then ethernet works). | 07:32:52 | |
| Sadly, the stock U-Boot shipped with the board is pretty broken and some ugly workarounds are used to get the SD image to boot, but otherwise looks like a pretty good Linux-capable RISC-V board to get. | 07:34:12 | |
| The module initialization quirks are frustrating, I'm also seeing occasional OOPS from the drm driver. Guessing it'll magically disappear if it's built-in | 08:55:48 | |
Yeah, need to look into it more. At the moment it can't shut down cleanly because the loading some modules causes hangs, so the systemd-udev processes that trigger the modprobe are just stuck | 19:44:06 | |
* Yeah, need to look into it more. At the moment it can't shut down cleanly because loading some modules causes hangs, so the systemd-udev processes that trigger the modprobe are just stuck | 19:44:34 | |
| Same here. | 20:07:13 | |
| By the way, some minor kernel config bike shedding for ethernet - I have:
You can swap | 20:14:51 | |
| Actually, let me just paste my full derivation: https://zc.lc/linux-5.16-visionfive.nix I also added the toggles for MMC builtin (though I'm not sure how useful it is) | 20:19:39 | |
Did you spend time on EFI yet? I tried to get systemd-boot to work, but discovered it only supports passing the initrd via initrd= on the kernel command line, which is unsupported for RISC-V.. | 20:29:09 | |
| Using the sd stub (https://www.freedesktop.org/software/systemd/man/systemd-stub.html) allows packing an kernel/initrd/cmdline, but I haven't managed to get it to boot yet. | 20:53:26 | |
| No, haven't done much yet, but you can get grub2 to build and generate an efi image with grub-mkstandalone | 21:38:09 | |
| 3 Mar 2022 | ||
| 07:13:31 | ||
| 4 Mar 2022 | ||
| 18:19:40 | ||