gurry / efiLinks
Ergonomic Rust framework for writing UEFI applications.
☆65Updated 8 months ago
Alternatives and similar repositories for efi
Users that are interested in efi are comparing it to the libraries listed below
Sorting:
- Run UEFI applications☆101Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆228Updated last month
- Rusty wrappers for Multiboot2.☆125Updated last month
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- A Rust library which is useful to handle xHCI☆46Updated last year
- UEFI Reference Specification Protocol Constants and Definitions☆116Updated 3 months ago
- A kernel written in Rust☆92Updated 9 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 8 months ago
- Single-address-space capability-based nanokernel☆82Updated this week
- The Hermit bootloader.☆79Updated last week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆260Updated 2 weeks ago
- ☆32Updated last week
- My hobby operating system microkernel written in Rust☆45Updated 2 weeks ago
- Raw system calls for Rust☆101Updated 2 years ago
- Rust implementation of Xinu educational operating system☆34Updated 4 years ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated 10 months ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- Rust library to use x86 (amd64) specific functionality and registers.☆314Updated last year
- A minimal Kernel written in Rust☆44Updated 11 months ago
- Example Rust project for building UEFI applications☆25Updated 7 years ago
- Exit QEMU with user-defined code☆50Updated 3 weeks ago
- Library to program vga hardware.☆59Updated 2 years ago
- UEFI support library for Rust☆33Updated 7 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆40Updated 4 years ago
- Rust support for seL4 userspace☆166Updated last month
- Initialization code ("crt0") written in Rust☆70Updated 4 years ago
- A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.☆46Updated 6 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago