The source
kernel, StarForth, proofs, documents
Everything in one repository: LithosAnanke, StarForth v3 and v4, the Isabelle/HOL proofs and the books.
Browse it →StarshipOS
Last modified by Robert James on 2026/11/07 13:31
ok> the working home
Where StarshipOS is built.
StarshipOS is an operating system with no other operating system underneath it. LithosAnanke, a UEFI microkernel, boots straight from the firmware and runs StarForth, a FORTH virtual machine, as its only runtime. This wiki holds its design, its record and its dashboards; the public face is starshipos-f18.com.
v2.1.0
LithosAnanke, the UEFI microkernel
v4
StarForth, the F18 engine
3 ISAs
amd64 · aarch64 · riscv64
538
POST checks on every boot
The project
One repository, one process, one line to master.
Issues
found, ruled, built, verified
Every piece of work starts as an issue with its evidence, and is ruled before it is built.
Open issues →Pull requests
the only way into master
master takes nothing but a pull request that passed the acceptance protocol.
Pull requests →How a change is accepted
Booted on three architectures, every time.
The kernel boots in QEMU on amd64, aarch64 and riscv64 to its prompt, its power-on self-test passing every check; the PC stick boots loaded the way a PC loads it; the 32-bit build passes its tests. A developer runs it by hand, a pull request runs it by itself, and the nightly runs it again before it publishes.
Acceptance -- the gate on every PR into master
Nightly -- acceptance, images to Nexus, proofs (03:00 UTC)
Nightly documents (04:00 UTC)
Contributors
Working on StarshipOS?
Contributors have a dashboard of their own: the method, the acceptance commands, the open work. Log in to see it.