A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.
☆48Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example Rust project for building UEFI applications☆25Apr 3, 2018Updated 8 years ago
- A mod for Raft to name the shark randomly after, for example, twitch subscribers☆10Jun 30, 2022Updated 4 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆907Aug 3, 2026Updated 2 months ago
- An x64 HobbyOS programmed in C++.☆19Jul 18, 2026Updated 2 months ago
- Technology is free, SnowFlakeOS☆55Sep 15, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extra ebuilds for Gentoo systems, mostly packages fixed to work with musl☆18Sep 6, 2025Updated last year
- BIOS written in Rust.☆22Jun 7, 2018Updated 8 years ago
- a Rust OS project☆10Sep 29, 2026Updated 2 weeks ago
- Graphical system install utility☆15Sep 10, 2021Updated 5 years ago
- Template for writing daemons in Rust☆14Sep 18, 2017Updated 9 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆28Aug 22, 2016Updated 10 years ago
- Automatically cross-compiles the sysroot crates core, compiler_builtins, and alloc.☆266Dec 5, 2025Updated 10 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rust library for parsing ACPI tables and interpreting AML☆247Updated this week
- UEFI support library for Rust☆33Sep 21, 2018Updated 8 years ago
- Btop in Rust☆15Aug 2, 2026Updated 2 months ago
- An experimental pure-Rust x86 bootloader☆1,696Aug 18, 2026Updated last month
- My github page☆11Aug 6, 2026Updated 2 months ago
- 템플릿 메타 프로그래밍을 이용한 아희 인터프리터☆22Aug 15, 2018Updated 8 years ago
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Rusty wrappers for Multiboot2.☆131Oct 1, 2026Updated last week
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A lightweight HTTP web framework☆17May 1, 2021Updated 5 years ago
- JVM classfile parser and writer for Rust☆39Apr 22, 2021Updated 5 years ago
- Repository containing PC Engines' Github page source☆10Aug 1, 2024Updated 2 years ago
- CLI client for haste-server (hastebin.com) written in Python☆13Mar 6, 2017Updated 9 years ago
- 64 bit hobby OS☆28Apr 10, 2016Updated 10 years ago
- ☆17Jun 10, 2020Updated 6 years ago
- 「Rustで始めるネットワークプログラミング」 4.8節（技術書典頒布版: masterブランチ）、第4章（web販売版: web-versionブランチ）のリポジトリです。☆14May 8, 2020Updated 6 years ago
- helper radare2 script to analyze UEFI firmware modules☆16Aug 30, 2018Updated 8 years ago
- Add CSRF protection to your Kemal application☆28Jun 25, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Convert a Dockerfile to a shell script☆17Nov 20, 2019Updated 6 years ago
- Minecraft Server List Ping in Rust☆39Sep 25, 2026Updated 2 weeks ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆173Feb 7, 2018Updated 8 years ago
- An OS kernel written in rust. Non POSIX☆815Apr 21, 2026Updated 5 months ago
- The login buttons for oAuth services☆14Apr 10, 2022Updated 4 years ago
- os dev☆20Feb 27, 2017Updated 9 years ago
- A Java Swing tree table using a standard JTable and any type of TreeNode or TreeModel.☆15Nov 30, 2025Updated 10 months ago