Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
41 lines (27 sloc) 1.75 KB

Status of new and future seL4 features and projects

This page tracks the status of various seL4 platform features that are in progress or not yet started (i.e. planned).

For status of existing kernel ports, features, drivers, and other userland components, see:

Kernel Features and hardware platform ports

Feature Status Driven by Repo Comment
MCS kernel in development D61 {{site.sel4_mcs}} Rebased onto master at each release, but the development branch is not public. Being developed for all architectures and most supported platforms.
AArch64 hyp in development (unreleased) D61 being developed on NVIDIA TX1, HiKey
AArch64 SMP planned D61 to be developed on NVIDIA TX1, HiKey
NVIDIA TX1 SMMU planned D61 AArch32 and AArch64
RISC-V planned D61

CAmkES Features

Feature Status Driven by Repo Comment
CAmkES AArch64 planned D61
CAmkES AArch64 & hyp planned D61

Virtualisation

Feature Status Driven by Repo Comment
camkes-arm-vmm for AArch64 planned D61 Including libsel4arm-vmm for AArch64
camkes-arm-vmm for NVIDIA TX1 planned D61 Including Linux running in a VM
multiple ARM VMs planned be able to run multiple VMMs, one VM per VMM. AArch32? AArch64?
You can’t perform that action at this time.