re-implementation of UNIX v6 in ANSI C for x86_64 SMP
☆196Jul 22, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 27, 2014Updated 12 years ago
- ☆37Sep 8, 2026Updated last month
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Dec 12, 2020Updated 5 years ago
- The HP-UX 9.10 source code☆17Nov 25, 2022Updated 3 years ago
- Codezero Microkernel☆113Jan 30, 2026Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 64bit port of xv6☆141Sep 22, 2019Updated 7 years ago
- Ruby-like high-performance script programming language with JIT compiler☆93Feb 28, 2016Updated 10 years ago
- A minimal mark-and-sweep garbage collector☆44Apr 3, 2019Updated 7 years ago
- Develop your own OS kernel by reusing Linux infrastructure☆179Jul 1, 2015Updated 11 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Small C Compiler generating ELF executable Arm architecture, supporting JIT execution☆1,062Aug 5, 2025Updated last year
- Unofficial 4.3BSD-Quasijarus repository for all changes from 0 through to 0c (plus any additional patches)☆42Jul 30, 2020Updated 6 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- mini-os for arm64☆16Nov 9, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Keyronex Operating System☆84Updated this week
- OS support for 64 bit ARM architecture☆55Aug 29, 2018Updated 8 years ago
- Restoration of 1st Edition UNIX kernel sources from Bell Laboratories☆350May 14, 2026Updated 5 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆89Mar 26, 2018Updated 8 years ago
- A UNIX-like kernel for the i386 architecture☆700Updated this week
- Functional Programming in C, because we can!☆14Nov 24, 2022Updated 3 years ago
- POSIX-like scalable multicore research OS kernel☆198Apr 16, 2020Updated 6 years ago
- MS-DOS 2.0 restoration project☆10Apr 5, 2024Updated 2 years ago
- A simple Unix-like kernel trying to be POSIX compliant☆137Jun 10, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small self-compiling arm/x86-64 C compiler, linker, C library and ELF loader for command line or library use on macOS, Linux or bare me…☆32May 13, 2024Updated 2 years ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,262Dec 14, 2025Updated 10 months ago
- ☆18Sep 19, 2011Updated 15 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆767Mar 25, 2026Updated 7 months ago
- The mentally unstable 64-bit kernel☆35Jan 4, 2026Updated 9 months ago
- minimal real-time environment for ARM Cortex-M3☆18Mar 14, 2014Updated 12 years ago
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 2 months ago
- Monolithic kernel, drivers and support libraries for x86_64 and m68k.☆103Updated this week
- A minimalistic library to help making your x86 assembly program bootable.☆25Apr 30, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 32-bit RISC-V (RV32I) port for MIT xv6 teaching operating system☆12Oct 9, 2021Updated 5 years ago
- xv6 OS☆9,712Aug 13, 2024Updated 2 years ago
- The NewOS Operating System☆240Nov 26, 2015Updated 10 years ago
- The UNIX System V Release 4.2 source code☆13Jan 7, 2026Updated 9 months ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆28Jul 17, 2026Updated 3 months ago
- Dennix is a unix-like hobbyist operating system written from scratch.☆161Jun 30, 2024Updated 2 years ago
- A simple userspace program to interact with Linux KVM☆23Aug 4, 2023Updated 3 years ago