Very minimalistic UEFI boot menu / kernel bootloader
☆32Jun 28, 2025Updated 8 months ago
Alternatives and similar repositories for tosaithe
Users that are interested in tosaithe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attempting to self-host with a high level compiler☆12Mar 30, 2022Updated 3 years ago
- Zigux is an attempt to write a UNIX-like kernel in Zig☆36Jun 20, 2025Updated 9 months ago
- a small kernel☆20Apr 15, 2023Updated 2 years ago
- Sample stivale2 zig kernel☆13Dec 7, 2021Updated 4 years ago
- Lezione Operating System☆10May 27, 2021Updated 4 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.
- Modern x86_64 UEFI bootloader☆13Oct 3, 2021Updated 4 years ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Sep 2, 2025Updated 6 months ago
- A collection of simple boot sector applications written in NASM for IBM PC-compatibles☆20May 16, 2024Updated last year
- Operating system in C written for fun and glory☆33May 11, 2021Updated 4 years ago
- A new hobby operating system made with velocity in mind :D☆23Feb 12, 2025Updated last year
- A Zig library for handling Limine boot protocol structures.☆31Mar 12, 2025Updated last year
- ☆18Nov 9, 2025Updated 4 months ago
- aarch64 stivale2 bootloader☆49Jan 26, 2023Updated 3 years ago
- Hobby operating system I'm making to learn OS development.☆10Dec 19, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LAI is an interpreter for AML, the ACPI Machine Language.☆185Nov 15, 2025Updated 4 months ago
- IDE integrated with qemu☆13Jun 7, 2022Updated 3 years ago
- Standalone, cleaned up utilities from systemd☆21Mar 5, 2026Updated 3 weeks ago
- Distributed build server for software distributions☆19Mar 8, 2026Updated 2 weeks ago
- Ricerca research kernel project to learn more about SMP, load balancing and NUMA☆10Dec 7, 2021Updated 4 years ago
- Monolithic kernel, drivers and support libraries for x86_64 and m68k.☆98Updated this week
- The Renaissance of Operating Systems☆162Aug 22, 2022Updated 3 years ago
- Auxiliary library for kernel development☆30Jan 6, 2023Updated 3 years ago
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An experimental dotnet based kernel☆39Nov 8, 2025Updated 4 months ago
- Modern UNIX-like x86_64 operating system and kernel written in C++☆50Aug 25, 2022Updated 3 years ago
- Lightweight Intel gpu Library☆52Feb 16, 2026Updated last month
- Files for using dinit as system init on Void☆19Aug 25, 2024Updated last year
- Jeff BezOS: the operating system☆10Jan 10, 2026Updated 2 months ago
- A Type-1 Hypervisor written in Modern C++☆44Aug 2, 2023Updated 2 years ago
- A x86_64 hobby OS☆26Aug 27, 2023Updated 2 years ago
- A simple template for building a Limine-compliant kernel in Zig.☆36Mar 12, 2025Updated last year
- The Boron Operating System - an experimental SMP operating system inspired by a particular 1990s workstation OS☆72Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- Replace my everyday OS and tools, from scratch!☆27Sep 3, 2022Updated 3 years ago
- A Zig implementation of the stivale2 boot protocol☆13Aug 21, 2022Updated 3 years ago
- A simple systems-level Lisp that compiles down to C☆11Mar 24, 2021Updated 5 years ago
- RISC-V toy operating system developed on live stream☆16Aug 10, 2021Updated 4 years ago
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆25Sep 2, 2025Updated 6 months ago
- a bootloader for Multiboot kernels on UEFI systems written in Rust☆21Mar 5, 2026Updated 3 weeks ago