Skip to content

@OSPreservProject OSPreservProject

Change the repository type filter

All

    Repositories list

    7 repositories

    • exokernel

      Public
      C
      •
      Other
      •9•13•0•1•Updated Feb 3, 2024Feb 3, 2024

    • oskit

      Public
      oskit code from Fluke OS project at University of Utah
      C
      •
      Other
      •18•33•1•1•Updated Dec 21, 2022Dec 21, 2022

    • nemesis-release

      Public
      The Cambridge Nemesis Release
      C
      •3•5•0•0•Updated Apr 16, 2017Apr 16, 2017

    • sprite

      Public
      The sprite operating system
      C
      •12•48•0•0•Updated Oct 5, 2015Oct 5, 2015

    • spin

      Public
      spin operating system
      C
      •5•4•0•0•Updated Oct 4, 2015Oct 4, 2015

    • amoeba

      Public
      amoeba operating system
      Shell
      •
      Other
      •7•21•0•0•Updated Sep 30, 2015Sep 30, 2015

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •682•3•0•0•Updated Sep 18, 2015Sep 18, 2015