Please file issues at: https://github.com/MicrosoftDocs/windows-iotcore-docs
☆100Oct 29, 2019Updated 6 years ago
Alternatives and similar repositories for RPi-UEFI
Users that are interested in RPi-UEFI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Version of QEMU modded to run WinRT☆13Jul 9, 2017Updated 9 years ago
- Uefi Rockchip Rk3399Pkg☆30Oct 22, 2017Updated 8 years ago
- Windows 10 IoT Core Board Support Package for Raspberry Pi☆131Mar 14, 2021Updated 5 years ago
- EDK II LKL Filesystem Driver☆13Mar 7, 2017Updated 9 years ago
- Project Mu BaseCore☆287Aug 11, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- DEPRECATED - DO NOT USE | Go here instead ->☆741Feb 19, 2020Updated 6 years ago
- ☆15Nov 8, 2019Updated 6 years ago
- Convert reg driver to an installable inf (beta) - For splitted BSP regs☆11Feb 18, 2019Updated 7 years ago
- Image builder for Windows☆26Oct 29, 2019Updated 6 years ago
- mirror of ntpwedit☆14Feb 11, 2017Updated 9 years ago
- UEFI application package☆29Feb 4, 2016Updated 10 years ago
- ARM Trusted Firmware for Raspberry Pi 3☆15Jul 8, 2018Updated 8 years ago
- EDK II sample platform branches and tags☆650Updated this week
- ☆70Jan 27, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A tool to execute an elf binary in the UEFI shell environment.☆10May 9, 2016Updated 10 years ago
- Microsoft.Maker.Serial namespace provides an Arduino Stream compatible serial transport layer, using the technologies available via the U…☆12Mar 30, 2017Updated 9 years ago
- UEFI DXE driver to take screenshots from GOP-compatible graphic consoles☆220Feb 14, 2025Updated last year
- Introduce basic UEFI HII (Human Interface Infrastructure) programming concept.☆14Jul 7, 2014Updated 12 years ago
- An embedded operating system kernel☆15Jul 2, 2017Updated 9 years ago
- UEFI development made easy☆256May 22, 2024Updated 2 years ago
- Open Source overclocking for nvidia cards taken from https://1vwjbxf1wko0yhnr.wordpress.com/author/2pkaqwtuqm2q7djg/☆16Aug 11, 2015Updated 11 years ago
- Project Mu Microsoft Core UEFI Value☆265Aug 11, 2026Updated last week
- Documentation for Tianocore.org for EDK II☆43Apr 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UWP version of Zafiro Designer☆12Apr 25, 2020Updated 6 years ago
- Various useful utilities for UEFI☆153May 21, 2024Updated 2 years ago
- Test infrastructure and test cases for EDK II based firmware☆104Aug 10, 2026Updated last week
- Various (U)EFI utilities that I have developed☆78Feb 22, 2019Updated 7 years ago
- Adafruit GFX graphics core library, forked to add ESP32 support☆10Mar 21, 2017Updated 9 years ago
- ☆11Oct 4, 2018Updated 7 years ago
- Multiplayer snake game written at a single weekend☆13Jul 10, 2019Updated 7 years ago
- Not useful yet. Attempt to port EDK2.☆34Feb 26, 2019Updated 7 years ago
- HDF Explorer QT Edition is a multi-platfrom graphical browser for HDF5 files. http://www.space-research.org/☆10Aug 18, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Boot OS X, Windows, and Linux on Mac or PC with UEFI or BIOS firmware☆20Jul 8, 2019Updated 7 years ago
- Run cmd as Trusted Installer. Written in C☆25Nov 8, 2019Updated 6 years ago
- ☆10Sep 13, 2018Updated 7 years ago
- Camera software for Windows☆15Jun 23, 2021Updated 5 years ago
- a third-party open source firmware for HP-39gs calculator☆34Jun 14, 2017Updated 9 years ago
- Raspberry Pi heavy load power supply testing☆12Apr 27, 2018Updated 8 years ago
- Qt Base (Core, Gui, Widgets, Network, ...) with UEFI support☆17Dec 10, 2017Updated 8 years ago