Skip to content
@nestedkernel

nestedkernel

Popular repositories Loading

  1. PerspicuOS PerspicuOS Public

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

    53 12

  2. nestedkernel.github.io nestedkernel.github.io Public

    CSS 3 2

  3. veri-funky veri-funky Public

    Formal verification and abstract modeling of the nested kernel

    Haskell 1

  4. freebsd freebsd Public

    Forked from freebsd/freebsd-src

    FreeBSD src tree

    C

Repositories

Showing 4 of 4 repositories
  • nestedkernel.github.io Public
    nestedkernel/nestedkernel.github.io’s past year of commit activity
    CSS 3 2 0 0 Updated May 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.

    nestedkernel/PerspicuOS’s past year of commit activity
    53 12 2 0 Updated Jul 7, 2017
  • freebsd Public Forked from freebsd/freebsd-src

    FreeBSD src tree

    nestedkernel/freebsd’s past year of commit activity
    C 0 2,874 0 0 Updated May 2, 2017
  • veri-funky Public

    Formal verification and abstract modeling of the nested kernel

    nestedkernel/veri-funky’s past year of commit activity
    Haskell 1 0 0 0 Updated Dec 23, 2015

Top languages

Loading…

Most used topics

Loading…