Roadmap
Ivan-Velickovic opened this issue · 1 comments
Ivan-Velickovic commented
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 | #138 | Yes |
| Virtualisation support | Yes | #151 | Yes |
| RISC-V 64-bit support | Yes | #179 | Yes |
| macOS SDK support | Yes | #94 | Yes |
| Platform | Implementation (Yes/In progress/No) | Pull Request | Merged |
|---|---|---|---|
| Odroid-C2 support | Yes | #106 | Yes |
| Odroid-C4 support | Yes | #106 | Yes |
| i.MX8MQ-EVK support | Yes | #97 | Yes |
| QEMU ARM virt support | Yes | #114 | Yes |
| Star64 support | Yes | #179 | Yes |
| QEMU RISC-V virt support | Yes | #179 | Yes |
Note that everything above is subject to change.
gernotheiser commented
this page looks a bit out of date?