I see these on your development road map. Any updates on the status of them?
Development Roadmap
Microkernel
in progress
64-bit ARM virtualisation support
branch
Low-level Userland
Status
Date
Feature
Location
planned
SMP-capable virtual-machine monitor (VMM)
master
Hi Luke,
We’re just in the process of updating that page. The changes (for the development roadmap) are:
Microkernel Status Date Feature Location
delivered in Q2’18 64-bit ARM virtualisation support master
delivered in Q1’18 Multicore for 64-bit ARM and x64 master Low-level Userland Status Date Feature Location in progress SMP-capable virtual-machine monitor (VMM) master
Ihor.
On 5 Jun 2019, at 9:51 am, Rutherford, Luke Luke.Rutherford@viasat.com wrote:
I see these on your development road map. Any updates on the status of them?
Development Roadmap
Microkernel
in progress 64-bit ARM virtualisation support branch Low-level Userland
Status Date Feature Location planned SMP-capable virtual-machine monitor (VMM) master
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
The roadmap is now updated. (I had updated it just before your mail, but due to a permission problem this hadn’t yet propagated to the life site.)
Apologies for having this stale version of the roadmap up for so long, we’ll try to maintain it better in the future.
Note that the verification roadmap doesn’t show a number of things we’d like to see done, but we don’t have funding for it ATM, so there’s no idea when they might happen. This includes completing RISC-V verification (security proofs and verification of virtualisation support) and re-doing the whole proof chain for AArch64.
Gernot
On 5 Jun 2019, at 09:51, Rutherford, Luke Luke.Rutherford@viasat.com wrote:
I see these on your development road map. Any updates on the status of them?
Development Roadmap
Microkernel
in progress 64-bit ARM virtualisation support branch Low-level Userland
Status Date Feature Location planned SMP-capable virtual-machine monitor (VMM) master
Devel mailing list Devel@sel4.systems mailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel https://sel4.systems/lists/listinfo/devel
-
Heiser, Gernot (Data61, Kensington NSW) -
Kuz, Ihor (Data61, Kensington NSW) -
Rutherford, Luke