| 7 Apr 2024 |
 [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 |
