1.
Introduction
1.1.
Audience
1.2.
Overview
1.3.
Structure
2.
Resources
2.1.
seL4 Microkernel
2.2.
Avent MaaXBoard
2.3.
Glossary
3.
Development Platform
3.1.
Hardware Requirements
3.2.
Software Requirements
4.
Install and Configure
4.1.
Host Setup
4.2.
Build Environment Setup
4.3.
Target Setup
4.4.
Bootloader Setup
4.4.1.
Using the Prebuilt Image
4.4.2.
Building U-boot Manually
4.4.3.
Configure U-Boot
5.
First Boot
5.1.
seL4Test
5.2.
CAmkES Adder
5.3.
Microkit Hello World
6.
Activities
6.1.
Activity: Microkit Memory Probe
6.2.
Activity: Remote Power Cycle
6.3.
Activity: Use U-Boot Device Driver's
6.3.1.
U-Boot Driver Library Overview
6.3.2.
Using the U-Boot Driver Library
6.3.3.
Test application: uboot-driver-example
6.3.4.
Instructions for running uboot-driver-example: CAmkES
6.3.5.
Instructions for running the uboot-driver-example: Microkit
6.4.
Activity: Picoserver U-Boot
6.5.
Activity: Porting Device Drivers to a New Platform
6.5.1.
Add Odroid C2
6.6.
Activity: Adding a New U-Boot Device Driver
6.6.1.
Add Driver Worked Example
6.6.2.
Driver Troubleshooting
6.7.
Activity: Guide to Porting seL4
6.8.
Activity: SPI Bus BMP280 Pressure Sensor
6.9.
Activity: CAmkES Case Study Application
6.9.1.
Architecture
6.9.2.
Design
6.9.3.
Build
6.10.
Activity: Microkit Case Study Application
6.10.1.
Architecture
6.10.2.
Design
6.10.3.
Build
6.11.
Activity: Microkit USB Driver
6.11.1.
Adding a New Device
6.11.2.
Common Errors
6.11.3.
Flattened Device Tree
6.11.4.
Memory Sharing
6.11.5.
Microkit Monitor Errors
6.11.6.
Extra Notes
6.12.
Activity: Microkit HDMI Driver
6.13.
Activity: Microkit VMM Single Linux Guest
6.14.
Activity: Microkit VMM Dual Linux Guest TTY Multiplex
6.15.
Activity: Microkit VMM Dual Linux Guest USB Routing
Licensing
Light
Rust
Coal
Navy
Ayu
seL4 Developer Kit
Document not found (404)
This URL is invalid, sorry. Please use the navigation bar or search to continue.