fjell-os 0.34.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…”
Rust test marker or harnessGitHub raw-content URL
SHA-256c73831cc3a195e0b6e332c2bfc89e0237821fe637b2db902c32ed19a31e6a82a
MaleculeH(Cm₃)Md
Evidence
⋯4 lines
151}
152
153#[cfg(test)]
154mod rfc_0_25_001_tests {
155 use super::SyscallNumber;
156
157 /// RFC-0.25-001: `from_usize` must round-trip IrqBind/IrqWait/IrqAck —
158 /// 102 (Ir …
159:51… syscall never reaching
160 /// its kernel dispatch arm at all.
161 #[test]
162 fn irq_syscalls_round_trip() {
163 assert_eq!(
164 SyscallNumber::from_usize(SyscallNumber::IrqBind as usize),
165 Some(Sysca …
1<p align="center">
2 <img src="https://raw.githubusercontent.com/nabbisen/fjell-os/0.34.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 …
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#![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.34.0/assets/logo-256.png",
6 html_favicon_url = "https://raw.githubusercontent.com/nabbisen/fjell-os/0.34.0/assets/favicon.svg"
7)]
8#![doc = include_st …
No evidence locations were recorded for this file. Raw result