seL4 micro-kernel working towards a general-purpose, multi-server OS

In addition to the establishing of the seL4 Foundation and adding the open-source RISC-V architecture as one of their primary architectures, the seL4 micro-kernel has been seeing a lot of work and also research into future work. Among the ambitious research goals is to create a truly secure, general-purpose OS". This multi-server OS would be secure, support a range of use-cases and security policies, and perform comparable to monolithic systems.

Be sure to flip through the slides of the presentation in question for more information.