thanoskoutr / armOSLinks
Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
☆28Updated 3 years ago
Alternatives and similar repositories for armOS
Users that are interested in armOS are comparing it to the libraries listed below
Sorting:
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆54Updated 3 years ago
- ☆59Updated 2 weeks ago
- The development version of the L4Re Microkernel☆140Updated 2 weeks ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- OS support for 64 bit ARM architecture☆53Updated 6 years ago
- A Small RISC-V Virtual Machine☆83Updated 3 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Updated 9 years ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- Operating System☆132Updated 3 years ago
- my homebrew OS☆33Updated 4 years ago
- 32bit OS/kernel built from scratch with POSIX.1 compliance☆37Updated 5 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆69Updated 3 years ago
- A bare metal port of the GNU ISO C++ library☆37Updated 2 years ago
- xv6 ported to x86_64.☆10Updated 4 years ago
- UEFI boot loader☆80Updated 3 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Keeley's - Operating System (K-OS)☆18Updated 4 years ago
- Rainbow OS☆58Updated last month
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆72Updated 4 months ago
- Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64☆17Updated 2 years ago
- How to create an OS from scratch☆17Updated 7 years ago
- A network stack implementation for xv6 OS☆34Updated 6 years ago
- A x86 based kernel and user space environment written in C++.☆60Updated 6 years ago
- ☆109Updated 6 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆183Updated 2 years ago
- A toy x86-64 kernel.☆52Updated 10 years ago
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- The device tree library☆18Updated 2 weeks ago
- A minimal example of an x86_64 higher half kernel loaded at the -2GB mark☆41Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago