adachristine / sophiaLinks
uefi bootloader and kernel for x64
☆16Updated 5 months ago
Alternatives and similar repositories for sophia
Users that are interested in sophia are comparing it to the libraries listed below
Sorting:
- Suspended until Cyjon refactorization finnish.☆19Updated 11 months ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- Bootable PC demo/game kernel☆49Updated 3 years ago
- A very simple operating system in C for UEFI-enabled x86-64 systems☆20Updated 2 months ago
- Digital, never Compaq or HP, Alpha AXP Emulator☆49Updated 5 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- RISC-V toy operating system developed on live stream☆16Updated 3 years ago
- OpenMach operating system☆97Updated 10 years ago
- ☆11Updated 11 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- cc64 is a small-C compiler written in Forth, hosted on the Commodore C64, Plus4 and C16 with 64k, and on the Commander X16. It is targeti…☆102Updated 10 months ago
- A toy x86-64 kernel.☆52Updated 10 years ago
- B compiler☆72Updated 3 weeks ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A UNIX-like operating system with an emphasis on simplicity☆38Updated 5 years ago
- Tiny visual 8086 emulator based on Blink☆73Updated last year
- Historical sources for the TRIvial Operating System☆43Updated 5 years ago
- K42 Kernel☆28Updated 13 years ago
- Operating System☆132Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 9 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
- A list of reference material to operating system development and administration and operating system history☆43Updated 9 months ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆69Updated 3 years ago
- OpenFirmware as used on OLPC (and elsewhere)☆115Updated 9 years ago
- A L4-like micro-kernel OS written in Rust☆65Updated last year
- a screen snapshot application under UEFI☆10Updated 11 years ago
- ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project☆39Updated 6 years ago
- i386 hobby kernel.☆25Updated last year
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago