search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

Roadmap #61

Open Ivan-Velickovic opened 9 months ago

Ivan-Velickovic commented 9 months ago

As some may be aware, there has been significant development and change on Microkit outside of the mainline version. This currently lives here.

This issue outlines the roadmap of up-streaming all development changes such that the notion of a 'development' Microkit is gone, and everyone can build the systems they need to using the mainline Microkit.

Once each table entry has 'Merged' as 'Yes', this issue can be closed.

Below is outlining the main changes and the status of each (for clarity feature support and platform support is separate): Feature Implementation (Yes/In progress/No) Pull Request Merged
CapDL integration In progress N/A N/A
Initial dynamicism Yes https://github.com/seL4/microkit/pull/138 Yes
Virtualisation support Yes https://github.com/seL4/microkit/pull/151 Yes
AArch64 SMP support Yes N/A N/A
RISC-V 64-bit support Yes N/A N/A
RISC-V 32-bit support In progress N/A N/A
RISC-V SMP support No N/A N/A
x86-64 support In progress N/A N/A
macOS SDK support Yes https://github.com/seL4/microkit/pull/94 Yes
Multi-threaded protection domains No N/A N/A
Platform Implementation (Yes/In progress/No) Pull Request Merged
Odroid-C2 support Yes https://github.com/seL4/microkit/pull/106 Yes
Odroid-C4 support Yes https://github.com/seL4/microkit/pull/106 Yes
i.MX8MQ-EVK support Yes https://github.com/seL4/microkit/pull/97 Yes
Raspberry Pi 3B+ support Yes N/A N/A
Raspberry Pi 4B support Yes N/A N/A
QEMU ARM virt support Yes https://github.com/seL4/microkit/pull/114 Yes
Ultra96V2 support Yes N/A N/A
Star64 support Yes N/A N/A
Polarfire support Yes N/A N/A
Spike support Yes N/A N/A
QEMU RISC-V virt support Yes N/A N/A
HiFive Unleashed support Yes N/A N/A

Note that everything above is subject to change.

gernotheiser commented 2 months ago

this page looks a bit out of date?