jserv / xv6-x86_64Links
re-implementation of UNIX v6 in ANSI C for x86_64 SMP
☆189Updated 2 years ago
Alternatives and similar repositories for xv6-x86_64
Users that are interested in xv6-x86_64 are comparing it to the libraries listed below
Sorting:
- 64bit port of xv6☆136Updated 6 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆191Updated 7 years ago
- A teaching operating system to get a deeper knowledge in the design of system software☆144Updated 8 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆88Updated 7 years ago
- Repository for Xinu source code☆445Updated last year
- me going through JamesM's kernel development tutorials☆42Updated 5 years ago
- Operating System☆134Updated 3 years ago
- Restoration of 1st Edition UNIX kernel sources from Bell Laboratories☆275Updated 6 months ago
- ☆59Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Updated 2 months ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- Sanos operating system kernel☆78Updated 5 years ago
- OS support for 64 bit ARM architecture☆54Updated 7 years ago
- liballoc - a memory allocator for hobbyist operating systems☆205Updated 4 years ago
- ☆40Updated 10 years ago
- 4.4BSD Lite Release 2: last Unix operating system from Berkeley☆394Updated 7 years ago
- This is an xv6 port to Raspberry Pi☆44Updated 8 years ago
- A minimal mark-and-sweep garbage collector☆44Updated 6 years ago
- My Operating System.☆81Updated 11 years ago
- Minix 1.1 to 2.0.4☆52Updated 7 years ago
- L4Ka::Pistachio micro-kernel☆291Updated 6 years ago
- Codezero Microkernel☆112Updated 3 years ago
- The development version of the L4Re Microkernel☆145Updated this week
- A tiny operating system based on x86 architecture.☆93Updated 2 months ago
- A simple Unix-like kernel trying to be POSIX compliant☆137Updated last year
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆73Updated 6 months ago
- POSIX-like scalable multicore research OS kernel☆193Updated 5 years ago
- Rainbow OS☆58Updated 3 months ago
- The NewOS Operating System☆222Updated 9 years ago