thanoskoutr / armOS
Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
☆26Updated 3 years ago
Alternatives and similar repositories for armOS:
Users that are interested in armOS are comparing it to the libraries listed below
- bare metal programming with Raspberry Pi☆28Updated 5 years ago
- OS support for 64 bit ARM architecture☆47Updated 6 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆49Updated 3 years ago
- nebulae kernel - stage 0 uefi barebones☆34Updated last year
- UEFI Reference Specification Protocol Constants and Definitions☆39Updated 6 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆69Updated 2 months ago
- The development version of the L4Re Microkernel☆113Updated this week
- aarch64 bare metal test on qemu☆93Updated 9 years ago
- The device tree library☆16Updated last month
- The core components of the L4Re operating system.☆81Updated this week
- Hello RISC-V 64!☆17Updated 6 years ago
- My gnu-efi development tree.☆72Updated 5 months ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 9 years ago
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆25Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- xv6 runs on UEFI☆33Updated 6 years ago
- ☆100Updated 5 years ago
- A repo of xOS the dead os project from @omarrx024☆15Updated 6 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆23Updated 3 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆76Updated 4 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆21Updated last year
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- 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
- Rainbow OS☆57Updated this week
- ARM64 version of Simple UEFI Bootloader☆22Updated 5 years ago
- SATA AHCI baremetal driver☆19Updated 6 years ago
- Mirror of git.qemu.org/vgabios.git☆25Updated 7 years ago
- ☆20Updated 4 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Updated 4 years ago
- ARM OS☆11Updated 2 years ago