| 7 Apr 2024 |
 Pratham Patel (you can mention me) | 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 |
 Alex | In reply to @alex:tunstall.xyz
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).
(Default flavour with profiled libraries, dynamic libraries, and documentation enabled.)
One minor difference to a typical RV64GC build is that I also enable Zba and Zbb.
I have no idea what performance impact this has on my hardware.
That a Milk-V Pioneer would take over 30h to do the same is surprising. I just remembered that I have logs, so:
configurePhase completed in 1 minutes 37 seconds
buildPhase completed in 21 hours 32 minutes 2 seconds
installPhase completed in 8 minutes 33 seconds
fixupPhase completed in 4 minutes 7 seconds
(unpack and patch phases don't appear to log timings.) | 11:00:55 |
 [0x4A6F] | Are you running on SDcard or NVMe on the VF2? | 11:06:04 |
| Alex | NVMe | 11:06:10 |
| 8 Apr 2024 |
| Alex | I'm getting the following error when trying to build certain Haskell packages with a registerised GHC.
Couldn't find a target code interpreter. Try with -fexternal-interpreter
I thought registerised GHC included TemplateHaskell support?
Steven Keuchel do I need the patches that enable GHCi for this to work? | 06:29:08 |
|  @cnx:loang.net joined the room. | 07:19:41 |
| @cnx:loang.net | In reply to @alex:tunstall.xyz
NVMe is it possible to boot from a bcachefs partition comprise of nvme, emmc and (us | 07:23:39 |
| @cnx:loang.net | * is it possible to boot from a bcachefs partition comprise of nvme, emmc and (usb-connected) ssd? | 07:23:47 |
| @cnx:loang.net | ah nvm u-boot doesn't seem to support bcachefs | 07:52:07 |
| Pratham Patel (you can mention me) | you can keep /boot as ext4 and /boot/efi as efi and other partitions as bcachefs | 07:53:10 |
| Pratham Patel (you can mention me) | cnx: ^^^ | 07:53:26 |
| @cnx:loang.net | i'm not familiar with u-boot (process), does it not load the kernel but efi? | 08:24:47 |
| Pratham Patel (you can mention me) | You can do both | 08:25:37 |
| Alex | In reply to @cnx:loang.net
i'm not familiar with u-boot (process), does it not load the kernel but efi? The boot partition contains the systemd-boot loader, the kernel, and the initrd. | 08:25:48 |
| Alex | Or was it GRUB? | 08:26:05 |
| Pratham Patel (you can mention me) | 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 |
| @cnx:loang.net | thanks! | 08:27:05 |
| Alex | 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 |
| @cnx:loang.net | how is opensbi and u-boot loaded? | 08:30:04 |
| @cnx:loang.net | i mean where are they loaded from a storage in case of sdio? | 08:30:25 |
| @cnx:loang.net | the beginning of the drive? | 08:30:32 |
| Alex | Nope, the ZSBL looks for a partition with a specific type in the GPT. | 08:30:56 |
| @cnx:loang.net | i see, so say i can have a partition for them on the emmc and use the rest for boot partition and os? | 08:31:59 |
| Alex | Yes, but you can also keep them in flash and have the entire disk for yourself. | 08:32:21 |
