InstantOS
The operating system insty was built for — a small, native OS with its own userland and syscall ABI.
Native insty userland
Programs are written in insty and target x86_64_instantos directly.
Custom syscall ABI
A small, documented syscall interface (rax=num, rbx, r10, rdx, r8, r9).
Freestanding + UEFI
Built from a freestanding kernel with UEFI boot — no legacy assumptions.
mlibc-based
A modern libc port provides the hosted runtime for InstantOS programs.
Built with insty
InstantOS is why insty exists. The compiler's x86_64_instantos target and the instantos::{sys,io,mem} stdlib modules are first-class. Learn the language at docs.insty.land.
Roadmap
- Stable installer + signed images
- Wider hardware/driver coverage
- A self-hosting toolchain on-device