In reply to @thefossguy:matrix.org
flash the SPI flash's partition table?

1. create partitions
2. assign "partition type"

This can also be found in the vendor's official documentation: https://doc-en.rvspace.org/VisionFive2/Boot_UG/JH7110_SDK/boot_address_allocation.html

Now whether or not those offsets are important is still unknown.
Note that partitions 1 and 2 are now "reserved"; this is because the vendor at some point changed their mind and now only wants to support booting from flash and booting from UART.
But SDIO and eMMC boot still work AFAIK.

In reply to @alex:tunstall.xyz
The official documentation is also missing one critical detail: the partition type IDs.

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.

In reply to @alex:tunstall.xyz

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?

here is the part of my overlay that does this

      ghc964 =
        let
          override1 = super.haskell.compiler.ghc964.override {
            bootPkgs = self.haskell.packages.ghc963Binary;
          };
          override2 = override1.override {
            hadrian = override1.passthru.hadrian.overrideAttrs (oldAttrs: {
              patches = (oldAttrs.patches or [ ]) ++ [
                ./patches/hadrian-9.6.4-allow-Cabal-3.10.patch
                # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/10714
                (super.fetchpatch {
                  url = "https://gitlab.haskell.org/ghc/ghc/-/commit/dd38aca95ac25adc9888083669b32ff551151259.patch";
                  hash = "sha256-xqs6mw/akxMy+XmVabACzsIviIKP4fS0UEgTk0HJcIc=";
                  stripLen = 1;
                })
              ];
            });
          };
        in
        override2.overrideAttrs (oldAttrs: {
          patches = (oldAttrs.patches or [ ]) ++ [
            # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12286
            (super.fetchpatch {
              url = "https://gitlab.haskell.org/ghc/ghc/-/commit/c5e47441ab2ee2568b5a913ce75809644ba83271.patch";
              hash = "sha256-t3KkuME6IqLWuESIMZ7OVAFu7s8G+x0ev+aVzBUqkhg=";
            })
          ];
        });