re-implementation of UNIX v6 in ANSI C for x86_64 SMP
☆194Jul 22, 2023Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 64bit port of xv6☆142Sep 22, 2019Updated 6 years ago
- ☆37Sep 17, 2022Updated 3 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆69Dec 12, 2020Updated 5 years ago
- Ruby-like high-performance script programming language with JIT compiler☆93Feb 28, 2016Updated 10 years ago
- Small C Compiler generating ELF executable Arm architecture, supporting JIT execution☆1,058Aug 5, 2025Updated 9 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.
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- A minimal mark-and-sweep garbage collector☆43Apr 3, 2019Updated 7 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Develop your own OS kernel by reusing Linux infrastructure☆177Jul 1, 2015Updated 10 years ago
- The Keyronex Operating System☆81Apr 18, 2026Updated 3 weeks ago
- Restoration of 1st Edition UNIX kernel sources from Bell Laboratories☆334Apr 1, 2025Updated last year
- OS support for 64 bit ARM architecture☆55Aug 29, 2018Updated 7 years ago
- mini-os for arm64☆16Nov 9, 2015Updated 10 years ago
- Unofficial 4.3BSD-Quasijarus repository for all changes from 0 through to 0c (plus any additional patches)☆42Jul 30, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A simple Unix-like kernel trying to be POSIX compliant☆138Aug 11, 2024Updated last year
- MS-DOS 2.0 restoration project☆10Apr 5, 2024Updated 2 years ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆26Feb 26, 2026Updated 2 months ago
- A small ARM/X86(-64) libc☆95Feb 17, 2026Updated 2 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆91Mar 26, 2018Updated 8 years ago
- POSIX-like scalable multicore research OS kernel☆197Apr 16, 2020Updated 6 years ago
- ☆18Sep 19, 2011Updated 14 years ago
- Codezero Microkernel☆111Jan 30, 2026Updated 3 months ago
- A UNIX-like kernel for the i386 architecture☆645Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 32-bit RISC-V (RV32I) port for MIT xv6 teaching operating system☆12Oct 9, 2021Updated 4 years ago
- A simple userspace program to interact with Linux KVM☆23Aug 4, 2023Updated 2 years ago
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆26Oct 12, 2023Updated 2 years ago
- i386 hobby kernel.☆24Oct 5, 2023Updated 2 years ago
- C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C99☆260Updated this week
- DeSmet C - Open source and completely built with latest toolchain☆28Mar 23, 2026Updated last month
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆27Apr 5, 2026Updated last month
- Prex is a portable real-time operating system for embedded systems☆28Jun 22, 2010Updated 15 years ago
- xv6 OS☆9,381Aug 13, 2024Updated last year
- 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.
- An OS/2 "emulator" for Linux.☆51Feb 23, 2024Updated 2 years ago
- Dennix is a unix-like hobbyist operating system written from scratch.☆161Jun 30, 2024Updated last year
- A window system for resource-constrained devices☆116Apr 26, 2026Updated 2 weeks ago
- A UNIX-like OS targeting AMD64 compatible processors☆18Mar 5, 2022Updated 4 years ago
- RP/M operating system for microcontrollers☆21Mar 10, 2025Updated last year
- The source of the BSD version moving to POSIX complacence☆16Aug 2, 2014Updated 11 years ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,227Dec 14, 2025Updated 4 months ago