C Edk2

Open-source C projects categorized as Edk2
Edit details
Topics: Uefi Aarch64 Efi Driver X64
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 5 C Edk2 Projects

  • ReBarUEFI

    Resizable BAR for (almost) any UEFI system

    • Project mention: Resizable BAR for almost any UEFI system | news.ycombinator.com | 2024-02-08

  • mitnal

    Twitter client for UEFI

    • Project mention: An IRC Client in your motherboard | news.ycombinator.com | 2024-04-05

    Looking forward to ditching these bloated operating systems with all this cruft I I do not need for something smaller and simpler: UEFI. Not to mention faster startup. Easier "embedded" development.

    Of course I am joking. Sort of.

    As a minimalist I do not need a GUI or a mouse. It seems UEFI already has more than I need.

    Here is the Twitter client mentioned:

    https://github.com/arata-nvm/mitnal

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • efifs

    EFI FileSystem drivers

    • Project mention: How to Boot ISO Files from GRUB2 Boot Loader | news.ycombinator.com | 2023-12-16

    See also UEFI drivers that can read a bunch of other file systems (btrfs, ext2/3/4, HFS, ISO, NTFS, UFS/FFS, XFS, ZFS, etc):

    * https://efi.akeo.ie

    * https://github.com/pbatard/efifs

    The UEFI spec specifies (§13.3) that firmware is only required to read FAT32/16/12, which is generally why your /boot/efi is VFAT/FAT32.

  • edk2-rk3588

    EDK2 UEFI firmware for Rockchip RK3588 platforms

    • Project mention: Radxa Rock 5 ITX: 8-Core ARM Mini ITX Board with LPDDR5 RAM | news.ycombinator.com | 2024-04-15

    FWIW, there is a port of EDK2 to the RK3588, which is what powers this board. Most of the peripherals work. So that's nice. But the thing is, it isn't UEFI so much as the device-tree/ACPI distinction you need to be mindful of. You can use either DTBs or ACPI to boot Linux on this device, though. https://github.com/edk2-porting/edk2-rk3588

  • NintendoSwitchPkg

    WIP UEFI EDK2 Implementation for Nintendo Switch or generic Tegra210 platforms

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

C Edk2 related posts

Index

What are some of the best open-source Edk2 projects in C? This list will help you:

Project Stars
1 ReBarUEFI 1,270
2 mitnal 524
3 efifs 495
4 edk2-rk3588 346
5 NintendoSwitchPkg 263

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com