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! When viewing an organization's repositories, you can use the props. filter to filter by custom property.