fjell-os 0.35.0
“Fjell OS — a capability-based microkernel for high-assurance edge and fleet nodes. Entry point to the project: links, status, and a re-expo…”
Basename is uppercase README.mdReference guide has multiple section headings
SHA-256f60df348ec8f6b05bc901363c5aad205e14e9d240a7a40db3a8b72dd64af2a95
MaleculeH(Cm₃)Md
Evidence
1#![no_std]
2// docs.rs and `cargo doc` resolve neither relative paths nor the repository
3// root, so the sidebar logo has to be an absolute URL.
4#![doc(
5 html_logo_url = "https://raw.githubusercontent.com/nabbisen/fjell-os/0.35.0/assets/logo-256.png",
6 html_favicon_url = "https://raw.githubusercontent.com/nabbisen/fjell-os/0.35.0/assets/favicon.svg"
7)]
8#![doc = include_str!("../README.md")]
9
10/// The stable ABI surface, re-exported from [`fjell_abi`].
11///
12/// This is the only Fjell crate published so far beyond this one. It carries
13/// the syscall numbers, capability kinds and rights, service image identifiers,
14/// and boot-control types shared between the kernel and every user-space
15/// service.
16pub use fjell_abi as abi;
1<p align="center">
2 <img src="https://raw.githubusercontent.com/nabbisen/fjell-os/0.35.0/assets/logo.png" alt="Fjell OS" width="180">
3</p>
4
5# Fjell OS
6
7> **Every authority is explainable. Every update is verifiable. Every failure is …
8:2… recoverable.**
9
10A capability-based microkernel for high-assurance edge and fleet nodes, written
11in Rust (2024 edition) for `riscv64gc-unknown-none-elf`.
12
13**This crate is the project's entry point on crates.io.** Fjell OS is an
14operating system, not a library — you ca …
15:47… and a re-export of the one part
16of the project that *is* a library: the stable ABI surface, as
17[`fjell_os::abi`](https://docs.rs/fjell-os/latest/fjell_os/abi/).
18
19## Where to go
20
21| | |
22|---|---|
23| **Source** | <https://github.com/nabbisen/fjell-os> |
24| **Changelog** | [`CHANGELOG.md`](https://github.com/nabbisen/fjell-os/blob/main/CHANGELOG.md) |
25| **Roadm …
1# fjell-abi
2
3The stable ABI surface of [Fjell OS](https://github.com/nabbisen/fjell-os) — a
4capability-based microkernel for high-assurance edge and fleet nodes.
5
6`no_std`, zero dependencies. Contains syscall numbers, capability kinds and
⋯4 lines
11
12**Fjell OS is v0 software under active development. v1.0 is explicitly not in
13view.** This crate is published so its API surface is inspectable and its name
14is reserved alongside the project; it is not yet intended as a stable
15dependency for outside consumers.
16
17The project guards this surface with a snapshot gate — see
18`tools/fjell-abi-snapshot` and `tests/abi/snapshot.json` in the repository —
19which fails a release if any item is removed or re-signed without the baseline
⋯5 lines
No evidence locations were recorded for this file. Raw result