The inner and outer core of the Oberon system (Kernel, Reals, File System) along with supporting platform-specific drivers (Display, USB, Math) have been fully ported to 32-bit ARM. The full system now boots and runs on QEMU 10.2 emulating the Raspberry Pi 2B (raspi2b machine).

Just like the i386 version, building the entire ARM system from scratch remains very fast. Compiling the modules, statically linking the core, generating the AosFs drive, and populating it with all runtime files takes under a minute using the custom C99 toolchain on a decently modern machine (my T480).

A precompiled version of the QEMU image and the toolchain with which it was built are attached.

The immediate next step is to debug the system over JTAG on real hardware, specifically targeting the Raspberry Pi Model 2B, 3B, and Zero 2. When the system works on bare metal, I consider to migrate the network driver (at least Ethernet, the Wlan might be too much work).