au-ts/libvmm au-ts/libvmm

  • Stars
    star
    19
  • Rank 1,130,312 (Top 23 %)
  • Language
    C
  • License
    BSD 2-Clause "Sim...
  • Created over 1 year ago
  • Updated 12 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
au-ts/libvmm
github

au-ts

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An experimental virtual machine monitor for the seL4 microkernel

More Repositories

1

cogent

Cogent Project
Isabelle
158
star
2

sddf

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

lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
C
5
star
4

microkit_tutorial

A tutorial for learning the seL4 Microkit
C
5
star
5

ipbench

A benchmark suite for repeatable and reliable testing of IP networks.
C
3
star
6

libgdb

Experimental library and infrastructure for using GDB with the seL4 microkernel
C
2
star
7

camkes_to_microkit_guide

A guide for migrating systems built on seL4 using CAmkES to Microkit
1
star
8

libnfs

C
1
star
9

sel4_profiler

Profiling framework and related infrastructure for performance analysis of seL4 applications
C
1
star
10

lionsos_docs

Documentation for LionsOS
SCSS
1
star