Home

How-To's

General

• Terminology

Tutorials

• x86: Creating an Ubuntu disk image with a custom kernel
• RISC-V: Creating an Ubuntu disk image with a custom kernel

Boot and Initialization

• Trusted Boot
• PCIe devices
• RISC-V Memory Layout

Tyche Design

Paper

There is a draft of the hotos paper here.

• Related Work -- HotOS
• Positioning

Capabilities

• Abstract capability Model

Below are the previous iterations for the capability system:

• Capa v0 -- Adrien ⚠️ Deprecated
• Capa v0.2 -- Adrien ⚠️ Deprecated
• Capa v0.3 -- Charly ⚠️ Deprecated

Tyche Implementation

Monitor

• Tyche API/ABI

Drivers

• Enclave driver

Debugging

• Debugging with two gdb servers ⚠️ Deprecated