adilahmad17 / perspicuos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nestedkernel/perspicuos
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
License: Other