Build Dahlia for Raspberry Pi 4

[lgh-127001]

Hello,
I would like to boot the Dahlia system on the Pi4. I cloned the build scripts, but it looks like the source.sh clones the original kernel. I don't would like to install the GUI, only the kernel and garnet components because I would like to write some low-level tests. Could you tell me please, is it possible to build Dahlia, and boot it on a Pi 4 with SSH support? The original Fuchsia build has a separate multiboot-compatible kernel image and an initramdisk, is it possible to build/download a Dahlia image which can be written to SD card like Raspbian? I don't would like to modify OTP if it's possible.
Thank you!

[carbonatedcaffeine]

Dear @lgh-127001. The raspberry pi 4 is WIP (work in progress), I'm working on it in my spare time when I can. I don't think Fuchsia has SSH and DahliaOS fuchsia builds aren't ready yet.

I will be sure to keep this open and @ you when some major progress has been made.

Camden Bruce

[arc41t3ct]

Any news here?

[nmcain]

So far the linux-based builds are being worked on, the process of compiling the utilities seems to be complicated given the lack of a cross-architecture toolchain, so builds of Pangolin need to be done on an ARM device, which complicates things. However, the system boots, no display quite yet.