Alternatives and similar repositories for Raspi3-Kernel:

Users that are interested in Raspi3-Kernel are comparing it to the libraries listed below

• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆51Updated 3 years ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 6 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 2 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆89Updated this week
• rsta2 / circle64
  Deprecated project, use https://github.com/rsta2/circle instead!
  ☆53Updated 6 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆91Updated 7 years ago
• leiradel / barebones-rpi
  Barebones Raspberry Pi programming in C
  ☆14Updated 5 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆51Updated 3 years ago
• novellus / Bare-Metal-Raspberry-Pi-Kernel
  A bare metal kernel for the Raspberry Pi, written in C.
  ☆15Updated 10 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆89Updated 8 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆67Updated 3 years ago
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated 7 months ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated last year
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• mkilgore / protura
  ☆89Updated 2 years ago
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• lazear / ext2-boot
  Open source ext2/ELF32 bootloader
  ☆15Updated 7 years ago
• xenos1984 / NOS
  Operating system project
  ☆33Updated last month
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆69Updated 4 years ago
• deater / vmwos
  a simple homebrew operating system for the Raspberry Pi
  ☆40Updated last year
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 5 years ago
• lazear / lass
  An x86 assembler that you probably shouldn't use
  ☆22Updated 6 years ago
• tristanseifert / kush-os
  the kool useful system helper – a from-scratch hobby OS written in C++20
  ☆15Updated 2 years ago
• SharpCoder / rpi-kernel
  A Basic (non Linux) C++ Kernel for Raspberry Pi.
  ☆95Updated 9 years ago