Alternatives and similar repositories for jos

Users that are interested in jos are comparing it to the libraries listed below

• benwei / MIT-JOS
  Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.
  ☆77Updated 8 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆195Updated 5 years ago
• michael2012z / Sparrow
  My Operating System.
  ☆81Updated 11 years ago
• disembl / tree
  An embedded, simple, fast, concurrent, on-disk key-value store using a b+tree.
  ☆40Updated 6 years ago
• lewischeng-ms / mit-jos
  MIT JOS 6.828 2011
  ☆22Updated 13 years ago
• hchunhui / compiler
  a mini C-like language(C1) compiler
  ☆39Updated 5 years ago
• bbu / userland-slab-allocator
  A carefully optimised, POSIX-compatible slab allocator for userspace.
  ☆80Updated 9 years ago
• hchunhui / myos
  a unix like OS from scratch
  ☆27Updated 3 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆189Updated 2 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 4 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• HawxChen / -LibraryOS-Exokernel_Implementation
  Exokernel is one of the major sources for container and library OS techniques.
  ☆44Updated 3 years ago
• gburd / libumem
  This is the user space slab memory allocator, umem, first available in Solaris 9.
  ☆90Updated 3 years ago
• swetland / xv6
  64bit port of xv6
  ☆136Updated 6 years ago
• tnm / libpaxos2
  A Paxos implementation in C originally by Marco Primi, built on top of libevent
  ☆35Updated 14 years ago
• singpolyma / singpolyma-kernel
  A basic microkernel
  ☆37Updated 12 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 3 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 8 years ago
• tudordavid / libslock
  Cross-platform atomic operations and lock algorithm library
  ☆99Updated 7 years ago
• wlangstroth / thttpd
  Tiny CGI server - unofficial fork
  ☆40Updated 10 years ago
• lvzixun / regex
  a regular express engine
  ☆56Updated 11 years ago
• mirage / xen
  Unofficial mirror of xenbits.xen.org/xen.git
  ☆75Updated 2 years ago
• songziming / wheel
  A toy operating system, written from scratch.
  ☆31Updated last year
• jimix / k42
  K42 Kernel
  ☆31Updated 13 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆53Updated 3 months ago
• nobled / ucc
  ucc - a tiny C89 compiler for x86
  ☆108Updated 14 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 8 months ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• komukomo / jos
  JOS - MIT 6.828 Operating System Engineering 2016
  ☆71Updated 8 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆44Updated 8 years ago