!pbdtvoHxUGLhcEvnlu:nixos.org

Exotic Nix Targets

325 Members
100 Servers

Load older messages


SenderMessageTime
25 Feb 2022
@ius:nltrix.netiusI cheated, it's a cross compiled kernel only (because I still have to build it natively).19:27:40
@ius:nltrix.netiusYeah, I have been experimenting with UEFI and was thinking the same thing.19:28:05
@zhaofeng:zhaofeng.liZhaofeng Li * 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
@ius:nltrix.netius * Yeah, I have been experimenting with EFI and was thinking the same thing.19:28:14
@ius:nltrix.netiusThe sdImage derivation needs some work though, think it would be nice if it could generate an ESP + systemd-boot19:29:15
@zhaofeng:zhaofeng.liZhaofeng LiYeah, that would be the annoying part. The sd-image generator is very inflexible.19:30:23
@ius:nltrix.netiusI have some half-finished derivation to declaratively specify a partition table for sdImage, but hadn't gotten around to finishing it.19:32:59
@zhaofeng:zhaofeng.liZhaofeng LiFor this, we should be collaborating with @samueldr because that's what he's doing in tow-boot.19:35:00
@zhaofeng:zhaofeng.liZhaofeng LiI'm not sure whether he intends to upstream any of that into nixpkgs, though.19:35:24
@ius:nltrix.netiusRight, was not aware19:41:20
@zhaofeng:zhaofeng.liZhaofeng LiOk, gonna continue tonight19:48:40
@ius:nltrix.netiusSo 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
@zhaofeng:zhaofeng.liZhaofeng LiMight be, how are you generating the initrd in the standalone case?22:34:05
@zhaofeng:zhaofeng.liZhaofeng LiI pushed my expression here: https://github.com/zhaofengli/nixos-riscv64/blob/master/pkgs/linux-visionfive/default.nix22:36:37
@ius:nltrix.netiusThanks. I wasn't using an initrd yet. I think I sorted it: https://zc.lc/linux-5.16-visionfive.nix23:27:03
@ius:nltrix.netius
    SERIAL_8250_DW = yes;
    PINCTRL_STARFIVE = yes; # somehow disabled
23:27:18
@ius:nltrix.netiusThose end up being built as a module on NixOS compared to the Fedora defconfig23:27:52
27 Feb 2022
@zhaofeng:zhaofeng.liZhaofeng Li 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
@zhaofeng:zhaofeng.liZhaofeng LiSadly, 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
@ius:nltrix.netiusThe module initialization quirks are frustrating, I'm also seeing occasional OOPS from the drm driver. Guessing it'll magically disappear if it's built-in08:55:48
@zhaofeng:zhaofeng.liZhaofeng Li 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
@zhaofeng:zhaofeng.liZhaofeng Li * 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
@ius:nltrix.netiusSame here.20:07:13
@ius:nltrix.netius

By the way, some minor kernel config bike shedding for ethernet - I have:

    # Ethernet fails as module
    PTP_1588_CLOCK = yes;
    STMMAC_ETH = yes;
    STMMAC_PLATFORM = yes;
    DWMAC_GENERIC = yes;

You can swap STMMAC_PCI for STMMAC_PLATFORM (I guess PCI requires PLATFORM?). I also added the MAC so ethernet is fully builtin.

20:14:51
@ius:nltrix.netiusActually, 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
@ius:nltrix.netius 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
@ius:nltrix.netiusUsing 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
@zhaofeng:zhaofeng.liZhaofeng LiNo, haven't done much yet, but you can get grub2 to build and generate an efi image with grub-mkstandalone21:38:09
3 Mar 2022
@colemickens:matrix.orgcolemickens changed their display name from colemickens 🏳️‍🌈 to colemickens.07:13:31
4 Mar 2022
@j-k:matrix.orgj-k joined the room.18:19:40

Show newer messages


Back to Room ListRoom Version: 6