Comment by avadodin

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?