Skip to content

grafOS docs

Build programs that run on disaggregated hardware. Lease-native, fail-closed, observable.

import { Card, CardGrid } from ‘@astrojs/starlight/components’;

What’s here

Lease primitive, fabricBIOS vs grafOS, tasklets, resource kinds, capability tokens, providers and cells, trust model. Read this first. Install the CLI, scaffold a project, build a tasklet, and finalize a run on hosted lab in under five minutes. Recipes you can copy: distributed counters, shared lists, stream pipelines, RPC services, object storage, local dev. Each recipe is a real cargo crate that compiles in CI. Every `grafos` subcommand and flag, generated from `--help` so it stays in sync with the binary you have installed. Rustdoc for the 23 user-facing crates: `grafos-std`, `grafos-collections`, `grafos-sync`, `grafos-stream`, `grafos-rpc`, and the rest. Link out from concepts and cookbook pages for the authoritative type shapes. `tasklet-profile-v0` — imports, exports, lifecycle, output artifacts. Necessary if you're shipping non-Rust tasklets.

Where to start

If you’ve never seen grafOS before, read Concepts → Lease primitive first. The rest of the system follows from how leases work.

If you have grafos installed already and want to ship something, jump to Quickstart. It walks from curl … install.sh | sh to a finalized run on the hosted lab fabric in under five minutes.

If you’re looking for a specific pattern — distributed counter, stream pipeline, RPC service — go to Cookbook. Every recipe is a real cargo crate; the published code is what you copy.