swetland / xv6
64bit port of xv6
☆128Updated 5 years ago
Alternatives and similar repositories for xv6
Users that are interested in xv6 are comparing it to the libraries listed below
Sorting:
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆66Updated 4 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆180Updated last year
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- Modular kernel built for simplicity☆92Updated 7 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- ☆40Updated 9 years ago
- Acess2 Hobby Operating System☆86Updated last year
- ☆58Updated 2 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- The NewOS Operating System☆208Updated 9 years ago
- Operating System☆133Updated 3 years ago
- Repository for Xinu source code☆439Updated 11 months ago
- a tiny monolithic kernel☆61Updated 8 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆187Updated 7 years ago
- Educational open-source CPU suite (with assembler, linker and simulator)☆170Updated last year
- liballoc - a memory allocator for hobbyist operating systems☆197Updated 4 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- Pthreads-free Linux threading demo☆156Updated 5 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆68Updated 3 years ago
- an experimental 64-bit operating system☆136Updated 4 months ago
- ☆90Updated 3 years ago
- This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …☆30Updated 9 years ago
- adams and eriks nix☆117Updated 8 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Updated 6 months ago
- L4Ka::Pistachio micro-kernel☆281Updated 5 years ago
- Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)☆217Updated 6 years ago
- me going through JamesM's kernel development tutorials☆42Updated 5 years ago
- Pedigree operating system☆90Updated 8 years ago
- A toy x86-64 kernel.☆52Updated 9 years ago
- A simple Unix-like kernel trying to be POSIX compliant☆135Updated 9 months ago