uefi bootloader and kernel for x64
☆16Dec 22, 2025Updated 3 months ago
Alternatives and similar repositories for sophia
Users that are interested in sophia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Apr 8, 2026Updated last week
- UNIX-like operating system written in C and C++☆97Updated this week
- A hobby operating system written in C.☆12Mar 12, 2018Updated 8 years ago
- Dancy Operating System☆14Apr 8, 2026Updated last week
- Moved to:☆12Jul 9, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The Lord of Files - A hobby operating system☆36Jun 6, 2021Updated 4 years ago
- MOP daemon (VAX netboot)☆13Oct 8, 2012Updated 13 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- if unix was made by a monkey with a typewritter☆17Jun 11, 2024Updated last year
- L4Ka::Hazelnut micro-kernel☆38Sep 1, 2015Updated 10 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 9 years ago
- Allwinner A20 bare metal samples☆10Oct 21, 2017Updated 8 years ago
- Operating system designed to be fast and secure.☆21May 23, 2017Updated 8 years ago
- Library of additional parts for KiCad for use with Sakura-IT projects☆24Dec 1, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A small computer operating system for x86 instruction set architectures written in ANSI C and assembly language.☆20May 13, 2013Updated 12 years ago
- ☆17Jun 22, 2023Updated 2 years ago
- 32-bit RISC processor☆23Jan 7, 2019Updated 7 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Nov 6, 2024Updated last year
- Github actions☆20Mar 29, 2022Updated 4 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Jan 31, 2016Updated 10 years ago
- The Keyronex Operating System☆81Updated this week
- A list of interesting places, exhibitions, restaurants, shops, and generally interesting things to see and do in Lisbon.☆13May 27, 2018Updated 7 years ago
- ⛓️ Blockchain + Smart contracts from scratch☆22May 19, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pedigree operating system☆93May 25, 2016Updated 9 years ago
- A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.☆65Aug 29, 2017Updated 8 years ago
- Emulate Apache NuttX RTOS for Arm64 with Unicorn Emulator (Avaota-A1 SBC)☆42Apr 13, 2025Updated last year
- The mentally unstable 64-bit kernel☆35Jan 4, 2026Updated 3 months ago
- A fully capability-based operating system☆28Jul 12, 2019Updated 6 years ago
- A hobby NES emulator written in Rust.☆15Jan 23, 2022Updated 4 years ago
- Port of uCLinux for the Mackerel-68k☆12Oct 8, 2025Updated 6 months ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- Metta OS☆72Nov 10, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Operating System☆135May 12, 2022Updated 3 years ago
- Learn how to create your own 32-bit system from scratch.☆14Feb 15, 2022Updated 4 years ago
- Mini-game built on a functional style☆13Jul 2, 2022Updated 3 years ago
- A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…☆21Sep 13, 2022Updated 3 years ago
- A collection of 68k computer projects, including a unix-like operating system written in C that runs on them☆63Feb 24, 2025Updated last year
- Hexagon kernel (Hexagonix kernel)☆13Jan 21, 2026Updated 2 months ago
- The start of the second book about various application writing☆11Aug 11, 2015Updated 10 years ago