Roadmap

[Ivan-Velickovic]

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
x86-64 support	In progress	N/A	N/A
SMP support	No	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
RISC-V 64-bit support	Yes	https://github.com/seL4/microkit/pull/179	Yes
macOS SDK support	Yes	https://github.com/seL4/microkit/pull/94	Yes

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
QEMU ARM virt support	Yes	https://github.com/seL4/microkit/pull/114	Yes
Star64 support	Yes	https://github.com/seL4/microkit/pull/179	Yes
QEMU RISC-V virt support	Yes	https://github.com/seL4/microkit/pull/179	Yes

Note that everything above is subject to change.