NixOS RISC-V | 233 Members | |
| NixOS on RISC-V https://wiki.nixos.org/wiki/RISC-V https://pad.lassul.us/NixOS-riscv64-linux https://github.com/orgs/NixOS/teams/risc-v | 69 Servers |
| Sender | Message | Time |
|---|---|---|
| 6 Apr 2024 | ||
(And this system is on a recent nixos-unstable commit) | 00:44:56 | |
| is there a way to see what it's being required by ? | 00:46:14 | |
nom shows this | 00:46:31 | |
|
See | 00:46:35 | |
| ok | 00:46:38 | |
The nom tree looks pretty clear btw: you have a git package in your path -- is that gitFull instead of the regular git? | 00:47:26 | |
| i'll check | 00:47:44 | |
| oh yeah that was it thank u | 00:48:48 | |
| 7 Apr 2024 | ||
In reply to @skeuchel:matrix.org I've measured ~22h for building an unregisterised GHC 9.2.8 booted via an unregisterised GHC 8.10.7 when running on VF2 (JH7110 SoC). One minor difference to a typical RV64GC build is that I also enable Zba and Zbb. That a Milk-V Pioneer would take over 30h to do the same is surprising. | 10:55:37 | |
| Another spec bump for the Oasis: https://www.linkedin.com/pulse/sophon-sg2380-new-choice-aipc-%E7%AE%97%E8%83%BD-rychc/ | 10:56:15 | |
In reply to @alex:tunstall.xyz I just remembered that I have logs, so:
(unpack and patch phases don't appear to log timings.) | 11:00:55 | |
| Are you running on SDcard or NVMe on the VF2? | 11:06:04 | |
| NVMe | 11:06:10 | |
| 8 Apr 2024 | ||
| I'm getting the following error when trying to build certain Haskell packages with a registerised GHC.
I thought registerised GHC included TemplateHaskell support? | 06:29:08 | |
| 07:19:41 | ||
In reply to @alex:tunstall.xyzis it possible to boot from a bcachefs partition comprise of nvme, emmc and (us | 07:23:39 | |
| * is it possible to boot from a bcachefs partition comprise of nvme, emmc and (usb-connected) ssd? | 07:23:47 | |
| ah nvm u-boot doesn't seem to support bcachefs | 07:52:07 | |
| you can keep /boot as ext4 and /boot/efi as efi and other partitions as bcachefs | 07:53:10 | |
| cnx: ^^^ | 07:53:26 | |
| i'm not familiar with u-boot (process), does it not load the kernel but efi? | 08:24:47 | |
| You can do both | 08:25:37 | |
In reply to @cnx:loang.netThe boot partition contains the systemd-boot loader, the kernel, and the initrd. | 08:25:48 | |
| Or was it GRUB? | 08:26:05 | |
| but if you want a non-ext for rootfs, it's best to boot into a bootloader (grub/systemd-boto) from uboot and then load kernel | 08:26:20 | |
| thanks! | 08:27:05 | |
| Anyway, here's the full boot chain typically used on the JH7110-based SBCs: ZSBL (ROM) -> OpenSBI and u-boot (usually flash) -> GRUB/systemd-boot (boot partition) -> kernel (boot partition) -> initrd, AKA NixOS stage 1 (boot partition) -> root system, AKA NixOS stage 2 | 08:29:19 | |
| how is opensbi and u-boot loaded? | 08:30:04 | |
| i mean where are they loaded from a storage in case of sdio? | 08:30:25 | |
| the beginning of the drive? | 08:30:32 | |