Skip to content

@OSPreservProject OSPreservProject

All

    Repositories list

    10 repositories

    • xkernel

      Public
      x-kernel network protocol stack
      C
      •0•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • minix

      Public
      Official MINIX sources - Automatically replicated from gerrit.minix3.org
      C
      •
      Other
      •1.2k•0•0•0•Updated Mar 18, 2024Mar 18, 2024

    • exokernel

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

    • oskit

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

    • nemesis-release

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

    • sprite

      Public
      The sprite operating system
      C
      •14•57•0•0•Updated Oct 5, 2015Oct 5, 2015

    • spin

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

    • amoeba

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

    • seL4

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

    • k42

      Public
      K42 Kernel
      C
      •
      Other
      •14•1•0•0•Updated May 11, 2012May 11, 2012
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.