search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 7 forks source link

Add QEMU support for Kitty example system #46

Closed Ivan-Velickovic closed 1 week ago

Ivan-Velickovic commented 4 months ago

We currently have all of the Kitty system (except I2C) working on the QEMU simulator in this branch: https://github.com/au-ts/lionsos/tree/qemu_support.

There are some minor issues to resolve and then it can be merged. It also depends on the following PRs being merged:

Ivan-Velickovic commented 1 week ago

Done in https://github.com/au-ts/lionsos/pull/58.