jserv / xv6-x86_64

Related projects ⓘ

Alternatives and complementary repositories for xv6-x86_64

• swetland / xv6
  64bit port of xv6
  ☆125Updated 5 years ago
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆177Updated 6 years ago
• RWTH-OS / eduOS
  A teaching operating system to get a deeper knowledge in the design of system software
  ☆136Updated 7 years ago
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆45Updated 6 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆90Updated 7 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• missimer / x86-64-kernel-boot
  ☆55Updated 2 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆63Updated 3 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆82Updated 6 years ago
• david50407 / xv6-rpi
  ☆39Updated 9 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆192Updated last year
• jserv / codezero
  Codezero Microkernel
  ☆105Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆84Updated 2 weeks ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆187Updated 3 years ago
• michael2012z / Sparrow
  My Operating System.
  ☆78Updated 10 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• descent / simple_os
  ☆32Updated 5 years ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆67Updated this week
• jserv / ogc
  A minimal mark-and-sweep garbage collector
  ☆44Updated 5 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆44Updated 10 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆67Updated 2 years ago
• openmach / openmach
  OpenMach operating system
  ☆80Updated 9 years ago
• jserv / unix-v1
  Restoration of 1st Edition UNIX kernel sources from Bell Laboratories
  ☆237Updated 8 months ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆69Updated 2 months ago
• cirosantilli / jamesmolloy-kernel-development-tutorials
  Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system. Tested on Ubuntu 14.04.
  ☆36Updated 4 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆209Updated 5 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆75Updated last week
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆84Updated 11 months ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆223Updated 10 years ago
• kaworu / JamesM
  me going through JamesM's kernel development tutorials
  ☆40Updated 4 years ago