Pinned Repositories
freebsd
FreeBSD src tree
nestedkernel.github.io
PerspicuOS
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
veri-funky
Formal verification and abstract modeling of the nested kernel
nestedkernel's Repositories
nestedkernel/PerspicuOS
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
nestedkernel/nestedkernel.github.io
nestedkernel/veri-funky
Formal verification and abstract modeling of the nested kernel
nestedkernel/freebsd
FreeBSD src tree