gurry / efi
Ergonomic Rust framework for writing UEFI applications.
☆62Updated 3 weeks ago
Alternatives and similar repositories for efi:
Users that are interested in efi are comparing it to the libraries listed below
- Run UEFI applications☆82Updated last year
- A Rust library which is useful to handle xHCI☆42Updated 4 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆113Updated last month
- Rust library for parsing ACPI tables and interpreting AML☆205Updated 2 weeks ago
- A pure-Rust UEFI bootloader☆29Updated 6 years ago
- Provides pre-rasterized characters from the "Noto Sans Mono" font in different sizes and font weights for multiple unicode ranges.☆30Updated 3 weeks ago
- A pure rust GPT header/partition table library☆42Updated 4 months ago
- ☆27Updated this week
- My hobby operating system microkernel written in Rust☆43Updated last year
- A kernel written in Rust☆91Updated last month
- Rusty wrappers for Multiboot2.☆117Updated last week
- A minimal Kernel written in Rust☆43Updated 2 months ago
- Useful types for dealing with PCI☆32Updated 3 months ago
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 4 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- The Hermit bootloader.☆73Updated this week
- UEFI support library for Rust☆33Updated 6 years ago
- ☆35Updated last year
- WIP Port of Rust's std to Minix☆43Updated 5 years ago
- 🌀 Microkernel Real-Time Operating System in Rust☆31Updated last year
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated last year
- Exit QEMU with user-defined code☆41Updated 9 months ago
- A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.☆46Updated 6 years ago
- BIOS written in Rust.☆17Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/uefi☆14Updated last week
- Raw system calls for Rust☆98Updated last year
- Rust support for seL4 userspace☆125Updated 2 months ago
- A hobby operating system☆51Updated last month
- LeOS operating system Kernel for AArch64 written in Rust☆76Updated 4 years ago
- Rust crate for Flattened Devicetree parsing☆43Updated 2 weeks ago