Since the discussion is becoming a bit off-topic in other places. I think we should start a topic here.
Current status, not even boot loader is building. So nowhere near a running kernel, or system.
What has been done:
Buildtools GCC has been updated for ARM64, may still need improvements
Bootstrap Packages has been prepared and built for ARM64
There are build- and smaller code-fixes in haiku that makes us go all the way to fail at linking the EFI bootloader
Once the EFI bootloader links and starts I hope to submit these changes and provide info on how to setup a developer environment. Then the hard part of working with ARM64 hardware starts, that I probably can help less with. (I just yesterday learnt the BR assembly code in ARM64 )
nice work! The riscv64 port has been hard on the non-x86 architectures, but in the long-run should help things that depend on dtb / fdt like arm / arm64.
I’ve been trying to rework the fdt stuff in a way that will work on any architecture… definitely shoot some me feedback on this patch
The RPI 400 for how it is built, and for the name it has, I am almost certain that the authors were inspired by the Amiga 500, in a certain sense they paid homage to it.
When I will able to build it, I may help to setup MMU in boot loader and load kernel, adjust compile settings, linker scripts etc. The same approach as in riscv64 with LookupPte() can be used. Unlike 32 bit ARM page lookup table have simpler format and it is possible to setup physical linear RAM mapping.
Wow, I did hear the name Pi400 before, but I never realized that this was a nice complete version of it, ready for use, hardware wise. This is going on my wishlist alongside RISC-V
yes, it is a complete computer for every day use generic desktop based on raspberry pi 4 arm64 architecture equipped with keyboard mouse and power supply and it is relatively cheap
there is a lot of hipe between raspberry and amiga comunity these days, to the point where there was someone who built a raspberry-based amiga 500 accelerator, the PiStorm priced at 11 bucks!
(and I stop with this to reply, we are going off-topic)
I just ordered the front panel in PA-12 Glass Fiber from shapeways for ~$30 usd.
I’ll just print the body myself given the size and hope everything aligns