Device Drivers #
All device drivers are in user-space as separate components. This means that they each have their own Thread Control Block (TCB) as well as virtual-address space. This design coupled with the guarantees of seL4 ensure each device driver is isolated.
The drivers used in LionsOS come from the seL4 Device Driver Framework.
Currently LionsOS offers a variety of device classes, such as:
- Serial
- Ethernet
- I2C
- Block
Serial #
TODO
Networking #
TODO
I2C #
TODO
Block #
TODO