Through it's not build around SeL4 specifically. It supports a wide range of mostly L4 based micro kernels as well as some other kernels like e.g. Linux. Still

Through it's not build around SeL4 specifically. It supports a wide range of mostly L4 based micro kernels as well as some other kernels like e.g. Linux. Still it's a SeL4 OS if you want it to be one.