Richard-W / uefi-run
Run UEFI applications
☆80Updated last year
Related projects ⓘ
Alternatives and complementary repositories for uefi-run
- Ergonomic Rust framework for writing UEFI applications.☆61Updated 3 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆108Updated 2 months ago
- Rust library for parsing ACPI tables and interpreting AML☆202Updated last week
- A pure-Rust UEFI bootloader☆29Updated 6 years ago
- ☆24Updated this week
- A hypervisor written in rust☆55Updated 2 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆74Updated 4 years ago
- A kernel written in Rust☆91Updated last month
- UEFI support library for Rust☆33Updated 6 years ago
- Rusty wrappers for Multiboot2.☆112Updated 2 weeks ago
- Unofficial EDK2 nightly build☆61Updated this week
- A hypervisor written in Rust.☆116Updated 2 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆32Updated last week
- UEFI ELF Bootloader example☆91Updated last year
- arm decoders for the yaxpeax project☆23Updated 4 months ago
- Linux kernel loader☆193Updated 3 weeks ago
- Library to load and relocate ELF files.☆118Updated last year
- A Rust library which is useful to handle xHCI☆41Updated 2 months ago
- ☆78Updated last year
- Raw system calls for Rust☆96Updated last year
- Crate with an example of a kernel module in Rust☆96Updated last year
- Mirror of https://gitlab.redox-os.org/redox-os/uefi☆14Updated last week
- A Rust kernel running on bare UEFI (no separate bootloader). Very early stage.☆44Updated 5 years ago
- Example Rust project for building UEFI applications☆27Updated 6 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆38Updated 5 years ago
- The Hermit bootloader.☆70Updated this week
- EFI Byte Code Virtual Machine in userspace☆77Updated last year
- Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI dev…☆52Updated 2 weeks ago
- Hybrid micro/mono kernel focusing on server performance.☆14Updated 11 months ago
- Demonstrate ability to read memfd_secret() data from the kernel☆57Updated 11 months ago