wh5a / jos
An MIT teaching OS
☆44Updated 14 years ago
Alternatives and similar repositories for jos:
Users that are interested in jos are comparing it to the libraries listed below
- Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.☆77Updated 7 years ago
- a mini C-like language(C1) compiler☆36Updated 5 years ago
- MIT JOS 6.828 2011☆22Updated 12 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆180Updated last year
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆68Updated 3 years ago
- Compiler For Tiger-Lang☆1Updated 6 years ago
- An embedded, simple, fast, concurrent, on-disk key-value store using a b+tree.☆40Updated 6 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆66Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated last month
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated 3 months ago
- My Operating System.☆81Updated 10 years ago
- 64bit port of xv6☆128Updated 5 years ago
- Sian's Operating System☆59Updated 9 years ago
- A carefully optimised, POSIX-compatible slab allocator for userspace.☆78Updated 9 years ago
- JOS - MIT 6.828 Operating System Engineering 2016☆72Updated 8 years ago
- POSIX-like scalable multicore research OS kernel☆189Updated 5 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- a compiler implementation☆56Updated 12 years ago
- Memory access tracing QEMU☆96Updated 8 years ago
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆36Updated 13 years ago
- a unix like OS from scratch☆24Updated 2 years ago
- A basic microkernel☆36Updated 12 years ago
- A toy OS☆54Updated 8 years ago
- Exokernel is one of the major sources for container and library OS techniques.☆45Updated 3 years ago
- ☆16Updated 7 years ago
- Implementation of the Slab Allocator as described in "The Slab Allocator: An Object-Caching Kernel Memory Allocator" by Jeff Bonwick.☆36Updated 11 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- ☆20Updated 4 years ago
- LFS using Fuse☆45Updated 12 years ago
- buddy system memory allocator☆37Updated 10 years ago