Trustworthy Systems

Results 4 repositories owned by Trustworthy Systems

libvmm

40
Stars
16
Forks
Watchers

An experimental virtual machine monitor for the seL4 microkernel

lionsos

136
Stars
20
Forks
Watchers

A secure, fast, and adaptable OS based on the seL4 microkernel

sddf

32
Stars
23
Forks
Watchers

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.