SUMMARY.md

Summary

Introduction

Glossary

Licensing

Basic Requirements

• Hardware Requirements
• Software Requirements

Development Environment Setup

• Host Machine Setup
• Build Environment Setup
• Target Platform Setup

First Boot

• Bootloader
• SD Card Preparation
• First Boot

seL4 Application Development

• Building Applications
• Execution on Target Platform

Device Driver Development

• Device Driver Introduction
• U-Boot Driver Library Overview
• Using the U-Boot Driver Library
• Library Extension - New Platform
• Library Extension - New Driver

Case Study Application

• Case Study Introduction
• Case Study Design Detail
• Case Study Building and Running

---

Appendices

• Guide to Porting seL4
• Manually Partitioning the SD Card
• Building U-Boot
• Manually Writing U-Boot to an SD Card
• Optional Extra - SPI Bus BMP280 Pressure Sensor
• Library Extension - New Driver Worked Example
• Library Extension - Troubleshooting
• Odroid-C2 Platform - Worked Example
• Using the Developer Kit Offline