Is this inspired by any particular micro-kernel design?
Looking at syscalls.h, it looks like it abstracts the platform details, for example.
Is SYSTEM for amd64 source-compatible with the riscv version?
Looking at syscalls.h, it looks like it abstracts the platform details, for example.
Is SYSTEM for amd64 source-compatible with the riscv version?
SYSTEM has a tiny arch-specific assembly trampoline which just sets up the initial stack pointer for new processes that it creates and makes the jump, but other than that it's source-compatible across architectures.
The platform detail extraction isn't yet complete, such that devices management on non-ACPI platforms isn't finished, but the idea is the abstraction will be enough that drivers for (at least) MMIO devices will be trivially portable.