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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
