This PR expands on existing driver abstractions (e.g. introduced in https://github.com/seL4/rust-sel4/pull/25), adds new abstractions, implements drivers using these abstractions, and leverages these abstractions in the kernel loader and Microkit examples.
nspin
commented
2 weeks ago
This PR expands on existing driver abstractions (e.g. introduced in https://github.com/seL4/rust-sel4/pull/25), adds new abstractions, implements drivers using these abstractions, and leverages these abstractions in the kernel loader and Microkit examples.