/PerspicuOS

This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.

Primary LanguageCOtherNOASSERTION

Watchers