A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.
☆47Jan 13, 2019Updated 7 years ago
Alternatives and similar repositories for sisyphos-kernel-uefi-x86_64
Users that are interested in sisyphos-kernel-uefi-x86_64 are comparing it to the libraries listed below
Sorting:
- A pure-Rust UEFI bootloader☆30Apr 29, 2018Updated 7 years ago
- Fork of the ski ia64 emulator☆12May 15, 2016Updated 9 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆880Feb 27, 2026Updated 3 weeks ago
- An x64 HobbyOS programmed in C++.☆20Feb 6, 2026Updated last month
- Technology is free, SnowFlakeOS☆54Sep 15, 2018Updated 7 years ago
- A neofetch-esque program written in CPP. This project is being used as a method of learning CPP.☆19Aug 13, 2021Updated 4 years ago
- GZX - George's ZX Spectrum Emulator☆17Mar 1, 2026Updated 2 weeks ago
- Webpack Template for Vonic.☆13Mar 29, 2017Updated 8 years ago
- RFCs for changes to the `futures` crate☆19Mar 20, 2018Updated 7 years ago
- Skin for XBMC☆20Nov 28, 2012Updated 13 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆27Aug 22, 2016Updated 9 years ago
- Automatically cross-compiles the sysroot crates core, compiler_builtins, and alloc.☆268Dec 5, 2025Updated 3 months ago
- An implementation of the hammer2 filesystem for Plan 9☆19Nov 25, 2018Updated 7 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 years ago
- This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream …☆17Nov 14, 2023Updated 2 years ago
- UEFI support library for Rust☆33Sep 21, 2018Updated 7 years ago
- An experimental pure-Rust x86 bootloader☆1,626Updated this week
- ☆11Aug 11, 2025Updated 7 months ago
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Rusty wrappers for Multiboot2.☆125Mar 1, 2026Updated 2 weeks ago
- Repository containing PC Engines' Github page source☆10Aug 1, 2024Updated last year
- ☆17Jun 10, 2020Updated 5 years ago
- Minecraft Server List Ping in Rust☆40Aug 24, 2025Updated 6 months ago
- An OS kernel written in rust. Non POSIX☆811Jul 25, 2025Updated 7 months ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆173Feb 7, 2018Updated 8 years ago
- Fritzing part for an ESP8266-based WiFi module☆11Nov 7, 2014Updated 11 years ago
- os dev☆20Feb 27, 2017Updated 9 years ago
- Serde serializer for generating Starlark build targets☆72Feb 16, 2026Updated last month
- ☆14Mar 3, 2026Updated 2 weeks ago
- XEOS is an experimental 32/64 bits Operating System for x86 platforms, written from scratch in Assembly and C. It includes a C99 Standard…☆91Aug 2, 2021Updated 4 years ago
- TI and open source projects converted to build/debug with Eclipse and OpenOCD☆13Jun 10, 2017Updated 8 years ago
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 9 years ago
- An easy to use dice rolling library for Rust☆18Jan 27, 2022Updated 4 years ago
- palava browser-to-browser video☆31Sep 26, 2023Updated 2 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆25Jan 5, 2018Updated 8 years ago
- Documentation related to POWER9 coreboot porting effort☆13Jul 12, 2022Updated 3 years ago
- A minimalistic IRC bouncer in Rust.☆11Jul 10, 2018Updated 7 years ago
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- Perl library and utilities for manipulating BBC MMB and SSD files☆24Jan 6, 2025Updated last year