Activities
These techical activities provide a range of examples which seek to demonstrate how to develop with seL4. For each activity our development process is discussed which intends to shed light on the our experience with writing programs in seL4. This aims to show the lessons we learnt along the way and act as inspiration for others wishing to embark on writing their own systems and programs with seL4.
- Microkit Memory Probe: Simple Microkit program illustrating memory access.
- Remote Power Cycle: Use of PPPS (Per-Port Power Switching) USB Hub, to programmatically power cycle the MaaXBoard, to ease remote development.
- Use U-Boot Device Drivers: Guidance on adding device drivers to seL4.
- Test application: picoserver_uboot: Picoserver U-Boot test application.
- Porting Device Drivers to a New Platform: Guidance for porting the U-Boot driver library to a new platform.
- Adding New U-Boot Device Driver: Guidance for adding a new driver to the U-Boot driver library
- Guide to Porting seL4: Guidance for porting seL4 to a new platform.
- SPI Bus BMP280 Pressure Sensor: Testing the Serial Peripheral Interface (SPI) driver with a pressure sensor.
- CAmkES Case Study Application: Demonstrating device drivers being used within a larger application nominally a keyboard-based encryption device.
- Microkit Case Study Application: Porting of the case study application to Microkit.
- Microkit USB Driver: A XHCI USB driver with support for Keyboard, Mouse, Resistive Touch Screen, USB Hub and Mass Storage Devices.
- Microkit HDMI Driver: A basic HDMI Driver capable of displaying static images and simple moving images.
- Microkit Single Linux VMM: Loads up a single Linux virtual machine with serial I/O.
- Microkit Dual Linux VMM with TTY Multiplexing: Loads up two Linux virtual machines with serial I/O and multiplexing for each virtual machine.
- Microkit Dual Linux VMM with USB Routing: An investigation into communication between virtual machines.