minosproject / minos2Links
Minos2 is a micro-kernel OS
☆131Updated 3 years ago
Alternatives and similar repositories for minos2
Users that are interested in minos2 are comparing it to the libraries listed below
Sorting:
- The core components of the L4Re operating system.☆92Updated last week
- Tweaks to Fabrice Bellard's TinyEMU☆134Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 3 months ago
- Zircon Kernel, Core Drivers, and Services☆34Updated 5 years ago
- A MIPS port of xv6☆79Updated 9 years ago
- Flexible Virtualization Solution for Embedded System☆257Updated last year
- The development version of the L4Re Microkernel☆140Updated last week
- Mirror of git.qemu.org/seabios.git☆68Updated last month
- The Synestia Operating System☆43Updated 3 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆66Updated 7 years ago
- Home-made almost operating system☆140Updated 2 years ago
- Operating System☆132Updated 3 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆71Updated 3 months ago
- Mirror of the official Barrelfish OS repository.☆209Updated 2 years ago
- A simple x86 operating system with graphical user space☆64Updated 3 weeks ago
- ☆138Updated 4 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- Mach 3☆52Updated 13 years ago
- 32bit OS/kernel built from scratch with POSIX.1 compliance☆37Updated 5 years ago
- Port of Google v8 engine to RISC-V.☆243Updated 10 months ago
- OS support for 64 bit ARM architecture☆53Updated 6 years ago
- aarch64 bare metal test on qemu☆107Updated 10 years ago
- Codezero Microkernel☆109Updated 3 years ago
- A teaching operating system to get a deeper knowledge in the design of system software☆142Updated 8 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆54Updated 3 years ago
- ☆59Updated 2 weeks ago
- The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox☆237Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆587Updated 2 months ago
- The first C compiler made to work under modern GCC☆164Updated 4 years ago