Alternatives and similar repositories for efi

Users that are interested in efi are comparing it to the libraries listed below

• richard-w / uefi-run
  Run UEFI applications
  ☆102Updated 2 years ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆227Updated this week
• rust-osdev / xhci
  A Rust library which is useful to handle xHCI
  ☆46Updated last year
• metta-systems / vesper
  Single-address-space capability-based nanokernel
  ☆84Updated this week
• jjyr / buddy-alloc
  Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
  ☆32Updated 11 months ago
• reynoldsbd / bootloader-uefi
  A pure-Rust UEFI bootloader
  ☆30Updated 7 years ago
• rust-osdev / multiboot2
  Rusty wrappers for Multiboot2.
  ☆125Updated 2 weeks ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆92Updated 10 months ago
• r-efi / r-efi
  UEFI Reference Specification Protocol Constants and Definitions
  ☆116Updated 4 months ago
• lowenware / leos-kernel
  LeOS operating system Kernel for AArch64 written in Rust
  ☆82Updated 5 years ago
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 9 months ago
• japaric / syscall.rs
  Raw system calls for Rust
  ☆101Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆170Updated last month
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 5 years ago
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆263Updated last month
• Dentosal / rust_os
  My hobby operating system microkernel written in Rust
  ☆45Updated last month
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆50Updated last month
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆66Updated last year
• rust-osdev / vga
  Library to program vga hardware.
  ☆59Updated 2 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆117Updated 2 years ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆206Updated this week
• rust-osdev / apic
  ☆16Updated 5 years ago
• reynoldsbd / libefi
  UEFI support library for Rust
  ☆33Updated 7 years ago
• robert-w-gries / rxinu
  Rust implementation of Xinu educational operating system
  ☆34Updated 5 years ago
• ks0n / goOSe
  A minimal Kernel written in Rust
  ☆44Updated 11 months ago
• GabrielMajeri / biors
  BIOS written in Rust.
  ☆20Updated 7 years ago
• redox-os / drivers
  Mirror of https://gitlab.redox-os.org/redox-os/drivers
  ☆61Updated this week
• rust-osdev / pci_types
  Useful types for dealing with PCI
  ☆33Updated last year