andreiw / rk3399-edk2View external linksLinks
Uefi Rockchip Rk3399Pkg
☆74Dec 3, 2020Updated 5 years ago
Alternatives and similar repositories for rk3399-edk2
Users that are interested in rk3399-edk2 are comparing it to the libraries listed below
Sorting:
- Highly experimental port of edk2 for rk3399☆33Dec 27, 2020Updated 5 years ago
- Uefi Rockchip Rk3399Pkg☆30Oct 22, 2017Updated 8 years ago
- Version of QEMU modded to run WinRT☆14Jul 9, 2017Updated 8 years ago
- Not useful yet. Attempt to port EDK2.☆33Feb 26, 2019Updated 6 years ago
- ☆11Nov 16, 2017Updated 8 years ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆203Jun 1, 2024Updated last year
- U-Boot for HP Prime G2☆16Mar 9, 2021Updated 4 years ago
- EDK II Port for Samsung G9500☆55Nov 14, 2021Updated 4 years ago
- BSP for Allwinner A64☆23Jul 5, 2017Updated 8 years ago
- WIP Custom ARM UEFI firmware for Lumia535☆10Mar 28, 2020Updated 5 years ago
- Cypress Bluetooth over UART Transport Driver for Windows☆13Dec 20, 2020Updated 5 years ago
- Various items related to running linux on a Lenovo Yoga c630.☆11Dec 18, 2020Updated 5 years ago
- work-in-progress launcher for one of the Tegra X1 bootROM exploits with branches to support T132, T30, and (WIP) T20☆29Oct 12, 2018Updated 7 years ago
- build mainline SBI and Linux for allwinner D1 nezha board☆10Jun 30, 2021Updated 4 years ago
- The low level tools for rockchip SOC with maskrom and loader mode support.☆182Nov 25, 2025Updated 2 months ago
- ☆13Nov 30, 2023Updated 2 years ago
- Convert reg driver to an installable inf (beta) - For splitted BSP regs☆11Feb 18, 2019Updated 6 years ago
- An embedded operating system kernel☆15Jul 2, 2017Updated 8 years ago
- Open Source Realtek Ethernet Windows driver☆37Nov 23, 2024Updated last year
- edk2-platforms fork for RPi 5 dev ----- Binary releases here -> https://github.com/worproject/rpi5-uefi☆14Mar 15, 2024Updated last year
- EDK II sample platform branches and tags☆15Apr 17, 2021Updated 4 years ago
- WIP drm drivers for FreeBSD☆17Nov 16, 2022Updated 3 years ago
- A simple DSP library and command-line tool for Software Defined Radio.☆14Feb 2, 2026Updated last week
- Monthly Progress Reports for RISC-V Operating Systems☆12Sep 30, 2023Updated 2 years ago
- Tools and images for HiKey960☆56Jan 31, 2020Updated 6 years ago
- Archlinux package for Linux kernel on Phytium 飞腾☆14Nov 10, 2024Updated last year
- BootLoader for ToyOS, developed under EDK2, support UEFI.☆16May 11, 2024Updated last year
- EDL exploit for Redmi 3S☆38Jun 26, 2021Updated 4 years ago
- framework to simplify UEFI development with TianoCore EDK2☆18Jan 28, 2018Updated 8 years ago
- ☆16Jun 13, 2025Updated 8 months ago
- Synaptics RMI4 I2C F12 Touch Controller Driver for Lumia 950 XL and OnePlus 6T☆35Dec 10, 2019Updated 6 years ago
- Fork of EDK2 for macOS compatibility☆19Apr 17, 2020Updated 5 years ago
- Embedded Base Boot Requirements Specification☆123Updated this week
- TianoCore UEFI for OPAL/PowerNV (PPC64/PowerPC64 Little-Endian)☆21Jun 11, 2016Updated 9 years ago
- Read-only mirror of the official repo at git://sigrok.org/sigrok-dumps. Pull requests welcome. Please file bugreports at sigrok.org/bugzi…☆20Oct 7, 2024Updated last year
- Tiny helper class to provide cache for the result of repeated functions.☆19Mar 13, 2020Updated 5 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- WIP UEFI EDK2 Implementation for Nintendo Switch or generic Tegra210 platforms☆281Jul 5, 2021Updated 4 years ago
- Raspberry Pi 3 UEFI Firmware Images☆305Nov 21, 2025Updated 2 months ago