baozich / mini-osLinks
mini-os for arm64
☆15Updated 9 years ago
Alternatives and similar repositories for mini-os
Users that are interested in mini-os are comparing it to the libraries listed below
Sorting:
- OS support for 64 bit ARM architecture☆53Updated 7 years ago
- ☆111Updated 6 years ago
- rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example☆34Updated 2 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆29Updated 4 years ago
- ☆40Updated 10 years ago
- A network stack implementation for xv6 OS☆35Updated 6 years ago
- ☆59Updated 2 months ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆55Updated 4 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆189Updated 2 years ago
- Small implementation in C of a slab allocator in user space☆40Updated last year
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆107Updated 2 years ago
- A Small RISC-V Virtual Machine☆85Updated 3 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆19Updated 6 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆191Updated 7 years ago
- A simple serial console utility☆17Updated 2 years ago
- The development version of the L4Re Microkernel☆145Updated last week
- Implementation of the Slab Allocator as described in "The Slab Allocator: An Object-Caching Kernel Memory Allocator" by Jeff Bonwick.☆36Updated 11 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 6 months ago
- Operating System☆134Updated 3 years ago
- A teaching operating system to get a deeper knowledge in the design of system software☆145Updated 8 years ago
- SATA AHCI baremetal driver☆23Updated 6 years ago
- Scripts for kernel hacking, development and testing on qemu☆35Updated 2 years ago
- Flexible Virtualization Solution for Embedded System☆257Updated last year
- a tiny monolithic kernel☆62Updated 8 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- ARM OS☆14Updated 3 years ago
- A simple operating system for ARM processors☆134Updated 5 years ago