baozich / mini-os
mini-os for arm64
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for mini-os
- ☆95Updated 5 years ago
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- OS support for 64 bit ARM architecture☆45Updated 6 years ago
- SATA AHCI baremetal driver☆19Updated 5 years ago
- ☆19Updated 9 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆15Updated 5 years ago
- Implementation of the Slab Allocator as described in "The Slab Allocator: An Object-Caching Kernel Memory Allocator" by Jeff Bonwick.☆33Updated 10 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆78Updated 6 years ago
- my homebrew OS☆31Updated 4 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆50Updated 3 years ago
- example PCI virtual device on QEMU☆24Updated 9 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆33Updated last year
- Kernel-Mode-Linux☆24Updated 2 years ago
- PCI device for qemu with mmio, pio, dma☆73Updated 7 years ago
- Tiny ELF loader☆129Updated last year
- A carefully optimised, POSIX-compatible slab allocator for userspace.☆77Updated 8 years ago
- minivm based on kvm☆143Updated 5 months ago
- A Sample Operating System Kernel for Embedded Systems☆14Updated 3 years ago
- An exokernel for the raspberry pi 3.☆79Updated 2 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- bare metal programming with Raspberry Pi☆27Updated 5 years ago
- ☆100Updated 5 years ago
- UEFI boot loader☆78Updated 2 years ago
- ☆39Updated 9 years ago
- xv6 runs on UEFI☆31Updated 6 years ago
- Flexible Virtualization Solution for Embedded System☆247Updated 8 months ago
- The device tree library☆15Updated 2 months ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 9 years ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago