gurry / efiLinks
Ergonomic Rust framework for writing UEFI applications.
☆66Updated 9 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☆102Updated 2 years ago
- Rust library for parsing ACPI tables and interpreting AML☆227Updated this week
- A Rust library which is useful to handle xHCI☆46Updated last year
- Single-address-space capability-based nanokernel☆84Updated this week
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated 11 months ago
- A pure-Rust UEFI bootloader☆30Updated 7 years ago
- Rusty wrappers for Multiboot2.☆125Updated 2 weeks ago
- A kernel written in Rust☆92Updated 10 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆116Updated 4 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago
- The Hermit bootloader.☆79Updated last week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 9 months ago
- Raw system calls for Rust☆101Updated 2 years ago
- Rust support for seL4 userspace☆170Updated last month
- x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]☆31Updated 5 years ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆49Updated 4 years ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆263Updated last month
- My hobby operating system microkernel written in Rust☆45Updated last month
- Exit QEMU with user-defined code☆50Updated last month
- A L4-like micro-kernel OS written in Rust☆66Updated last year
- Library to program vga hardware.☆59Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆117Updated 2 years ago
- Linux kernel loader☆206Updated this week
- ☆16Updated 5 years ago
- UEFI support library for Rust☆33Updated 7 years ago
- Rust implementation of Xinu educational operating system☆34Updated 5 years ago
- A minimal Kernel written in Rust☆44Updated 11 months ago
- BIOS written in Rust.☆20Updated 7 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/drivers☆61Updated this week
- Useful types for dealing with PCI☆33Updated last year