Alternatives and similar repositories for xv6_rpi_port:

Users that are interested in xv6_rpi_port are comparing it to the libraries listed below

• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆64Updated 4 years ago
• zhiyihuang / xv6_rpi2_port
  This is an xv6 port on Raspberry Pi 2 and 3
  ☆23Updated 2 years ago
• houcheng / xv6-armv7
  xv6 porting on armv7 cpu
  ☆20Updated 10 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆177Updated last year
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆47Updated 6 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆67Updated 3 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆33Updated 2 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆208Updated 5 years ago
• deater / vmwos
  a simple homebrew operating system for the Raspberry Pi
  ☆40Updated last year
• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆142Updated 3 years ago
• v7unix / v7unix
  Version 7 Unix for a POSIX world
  ☆87Updated 3 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• patha454 / xv6_pi_mp
  The xv6 operating system, ported to the Raspberry Pi
  ☆11Updated 5 years ago
• swetland / xv6
  64bit port of xv6
  ☆127Updated 5 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• openmach / openmach
  OpenMach operating system
  ☆82Updated 10 years ago
• LizardLad / Raspi3-Kernel
  A fairly simple Raspberry pi 3 kenel
  ☆20Updated 5 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆275Updated 5 years ago
• kjiwa / x86-boot-sector-c
  A DOS boot sector written in C
  ☆26Updated 6 years ago
• rajesh5310 / SBUnix
  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
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated 2 weeks ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆39Updated 7 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆141Updated 4 years ago
• michael2012z / Sparrow
  My Operating System.
  ☆79Updated 10 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆254Updated 4 years ago
• atgreen / ggx
  How To Retarget the GNU Toolchain in 21 Patches
  ☆83Updated 10 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆20Updated 12 years ago