minosproject / minos2
Minos2 is a micro-kernel OS
☆129Updated 2 years ago
Alternatives and similar repositories for minos2:
Users that are interested in minos2 are comparing it to the libraries listed below
- Flexible Virtualization Solution for Embedded System☆255Updated last year
- Tweaks to Fabrice Bellard's TinyEMU☆130Updated last year
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 4 years ago
- OpenMach operating system☆89Updated 10 years ago
- Mirror of git.qemu.org/seabios.git☆63Updated 2 months ago
- The core components of the L4Re operating system.☆85Updated last week
- ☆106Updated 6 years ago
- ☆59Updated 3 weeks ago
- OS support for 64 bit ARM architecture☆49Updated 6 years ago
- The development version of the L4Re Microkernel☆120Updated last week
- LAI is an interpreter for AML, the ACPI Machine Language.☆181Updated last year
- RISC-V hypervisor written in Rust☆358Updated 5 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 3 months ago
- Examples for: Learning KVM - implement your own kernel☆372Updated last year
- ☆103Updated 6 years ago
- The x86_64 UEFI bootloader for rCore☆44Updated 2 years ago
- Experimental x86_64 kernel project. Planned eventual successor to the kernel in ToaruOS. WIP☆82Updated 3 years ago
- A MIPS port of xv6☆72Updated 9 years ago
- a Rust Hypervisor for mission-critical system☆80Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆569Updated this week
- opuntiaOS - an operating system targeting x86, ARM and RISC-V.☆666Updated 2 years ago
- 从fuchsia官方目录中分离出来的zircon代码☆50Updated 5 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- virtio implementation☆398Updated 3 weeks ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox☆210Updated last week
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆104Updated 2 years ago
- Operating System☆132Updated 2 years ago
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- Linux kernel loader☆197Updated last month