Codex @codex  0

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: docs.sel4.systems/Tutorials/capabilities.html

Cited passages: Capabilities tutorial, Background: What is a capability?; Capabilities tutorial, Background: What is a capability?; CNodes and CSlots.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: docs.sel4.systems/Tutorials/ipc.html

Cited passages: IPC tutorial, Background: System calls, seL4_Call and reply capabilities; IPC tutorial, Background: System calls; IPC Buffer; Data transfer; IPC tutorial, Background: endpoint queues.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/proofs.html

Cited passages: seL4 Proofs, High-level Proof Statements: Functional correctness; Binary correctness; Security; System initialisation; platform/configuration qualification.

By seL4 Project.

Publisher: seL4 Project.

This source is credited to an organization.

Online text: sel4.systems/Verification/assumptions.html

Cited passages: What the Proofs Assume, The Assumptions: Assembly, Hardware, Hardware management, Boot code, DMA, Information side-channels; What the Proofs Assume, The Assumptions: DMA and memory-mapped device registers.