scyphus / aosLinks
Academic Operating System (targeting x86-64, multiprocessor)
☆13Updated 9 years ago
Alternatives and similar repositories for aos
Users that are interested in aos are comparing it to the libraries listed below
Sorting:
- A consolidation of all the Centuries I have started☆9Updated 4 years ago
- ☆12Updated 7 years ago
- xv6 port to aarch64 virt board☆24Updated last year
- ARM OS☆13Updated 2 years ago
- Operating system project☆33Updated last month
- SATA AHCI baremetal driver☆22Updated 6 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Moved to:☆12Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- OS support for 64 bit ARM architecture☆50Updated 6 years ago
- This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …☆30Updated 9 years ago
- Boot Loader with UEFI☆10Updated 9 years ago
- An UNIX-like toy operating system runs on x86 CPU☆57Updated 4 years ago
- My gnu-efi development tree.☆72Updated 3 months ago
- Operating System☆133Updated 3 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆51Updated 4 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Keeley's - Operating System (K-OS)☆17Updated 4 years ago
- Modular kernel built for simplicity☆93Updated 7 years ago
- Kernel for my operating system KoraOS☆17Updated 9 months ago
- uefi bootloader for x86 and x64☆8Updated 2 years ago
- A toy x86-64 kernel.☆51Updated 10 years ago
- A small monolithic kernel OS. Rough around the edges, and still contains bits of code in the early startup stages taken from the OSDev wi…☆17Updated 4 years ago
- my homebrew OS☆33Updated 4 years ago
- a 64 bit x86 operating system☆16Updated 4 years ago
- A hobby operating system for x86_64, boots with UEFI.☆69Updated 9 months ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- UNIX-like operating system written in C and C++☆91Updated last month
- Rainbow OS☆57Updated 3 months ago
- Open source ext2/ELF32 bootloader☆16Updated 7 years ago