RWTH-OS/eduOS-rs: Latest Stage0 Release

Zenodo (CERN European Organization for Nuclear Research)

Abstract

update toolchain to nightly-2026-06-01 and fix build The newer nightly changed how custom target specs are handled: .cargo/config.toml: enable the json-target-spec unstable flag, now required to use .json target files aarch64-eduos.json: add rustc-abi: "softfloat", now needed alongside abi for bare-metal aarch64 softfloat targets src/lib.rs: drop the stabilized allocator_api feature gate Both targets build and boot in QEMU again: cargo run cargo run --target aarch64-eduos.json

Authors 3

1. Stefan Lankes Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

2. Jens Breitbart
   Affiliation as printed

   AMD

3. Martin Kröning Aachen @RWTH-ACS

   RWTH Aachen University

   Affiliation as printed

   @RWTH-ACS