minosproject / minos2Links
Minos2 is a micro-kernel OS
☆132Updated 3 years ago
Alternatives and similar repositories for minos2
Users that are interested in minos2 are comparing it to the libraries listed below
Sorting:
- Tweaks to Fabrice Bellard's TinyEMU☆147Updated 2 years ago
- A MIPS port of xv6☆79Updated 9 years ago
- The development version of the L4Re Microkernel☆146Updated last week
- The core components of the L4Re operating system.☆94Updated last week
- 32bit OS/kernel built from scratch with POSIX.1 compliance☆41Updated 5 years ago
- Flexible Virtualization Solution for Embedded System☆261Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆89Updated last week
- Mirror of git.qemu.org/seabios.git☆70Updated 3 months ago
- The x86_64 UEFI bootloader for rCore☆43Updated 3 years ago
- musl libc for RISC-V☆84Updated 6 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆74Updated 7 months ago
- Mirror of the official Barrelfish OS repository.☆215Updated 2 years ago
- Zircon Kernel, Core Drivers, and Services☆36Updated 5 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 3 years ago
- ☆111Updated 6 years ago
- Home-made almost operating system☆144Updated 3 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- The Synestia Operating System☆43Updated 4 years ago
- Build a minimal kernel for RISC-V☆60Updated last year
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 8 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆55Updated 4 years ago
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆107Updated 2 years ago
- A simple x86 operating system with graphical user space☆65Updated 4 months ago
- Xvisor: eXtensible Versatile hypervISOR☆592Updated last week
- ☆48Updated last week
- A simple operating system for ARM processors☆134Updated 5 years ago
- Fabrice Bellard's tinyemu (https://bellard.org/tinyemu/)☆66Updated 4 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- OS support for 64 bit ARM architecture☆54Updated 7 years ago