Exotic Nix Targets | 327 Members | |
| 104 Servers |
| Sender | Message | Time |
|---|---|---|
| 25 Feb 2022 | ||
| Bonus rant: had to scramble for cash, because apparently UPS over here only accepts cash payments in exact change - it's 2022 after all | 12:55:45 | |
| This is their attempt to only accept card payments without saying they only accept card payments? | 12:58:45 | |
| No, they don't take cards at all. | 13:01:20 | |
| Do they try to get written checks?? Or do they simply hate the world and want the world to feel it? | 13:02:56 | |
| The proof of payment I got sports 2 checkboxes: 'check' or 'cash'. National banks haven't issued any checks since 2002. The only reason it's on there because someone probably translated a US form/procedure. | 13:12:57 | |
🚀 | 16:45:25 | |
| Nice! My sdimage built overnight, but I haven't had a chance to test it yet | 18:45:18 | |
| Also roughly what I got to:
| 19:26:04 | |
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 are missing. After setting the environments manually I could start the kernel, but we should use UEFI as well. | 19:27:39 | |
| 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 | |