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•54•2•0•Updated Jul 7, 2017Jul 7, 2017

    • freebsd

      Public
      FreeBSD src tree
      C
      •
      Other
      •3.2k•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
    ProTip! Don't forget that you can create saved views to keep track of your most important repositories!