Skip to content

@nestedkernel nestedkernel

Change the repository type filter

All

    Repositories list

    4 repositories

    • nestedkernel.github.io

      Public
      CSS
      •2•3•0•0•Updated May 21, 2021May 21, 2021

    • PerspicuOS

      Public
      This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
      Other
      •12•55•2•0•Updated Jul 7, 2017Jul 7, 2017

    • freebsd

      Public
      FreeBSD src tree
      C
      •
      Other
      •2.9k•0•0•0•Updated May 2, 2017May 2, 2017

    • veri-funky

      Public
      Formal verification and abstract modeling of the nested kernel
      Haskell
      •0•1•0•0•Updated Dec 23, 2015Dec 23, 2015