Device trees used by QEMU to describe the hardware
☆60May 14, 2026Updated last week
Alternatives and similar repositories for qemu-devicetrees
Users that are interested in qemu-devicetrees are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆290Updated this week
- ☆13Dec 7, 2023Updated 2 years ago
- QEMU libsystemctlm-soc co-simulation demos.☆162May 21, 2025Updated last year
- ☆21Dec 9, 2018Updated 7 years ago
- A curated list of awesome things related to rustsbi☆44Oct 14, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sample of project using UIO(User Space IO) Interrupt(ZYBO/Linux/PUMP_AXI4).☆13Nov 26, 2017Updated 8 years ago
- ARM Trusted Firmware☆35May 14, 2026Updated last week
- Patch for the emulation of Octeon MIPS64 in QEMU☆15Feb 2, 2018Updated 8 years ago
- Simple demo of accessing System Management BIOS in UEFI environment.☆14Oct 13, 2020Updated 5 years ago
- Collection of Yocto Project layers to enable AMD Xilinx products☆173Updated this week
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- Oink Bootloader (OinkBL)，系列文[世界第一簡單的UEFI，實作打造自己的開機畫面](https://ithelp.ithome.com.tw/users/20161828/ironman/6446?page=1)☆11Nov 18, 2023Updated 2 years ago
- The ryppl command-line tool☆43Mar 30, 2013Updated 13 years ago
- Encapsulate Xilinx PetaLinux tools 14.04 into docker image☆14Jun 25, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MOVED TO: https://cirosantilli.com#how-to-teach☆12Jul 27, 2019Updated 6 years ago
- Bare metal game using EDK2.☆14Jan 19, 2023Updated 3 years ago
- Linux device tree generator for the Xilinx SDK (Vivado > 2014.1)☆233May 14, 2026Updated last week
- run petalinux using docker tool☆29Feb 26, 2020Updated 6 years ago
- SystemC/TLM-2.0 Co-simulation framework☆288May 21, 2025Updated last year
- Thread safe gcc function entry/exit tracer and call graph generator☆14Dec 22, 2015Updated 10 years ago
- [Course] Hands-On ZYNQ: Mastering AXI4 Bus Protocol☆19Feb 22, 2020Updated 6 years ago
- A tiny educational OS for RISC-V☆28Oct 14, 2024Updated last year
- A demo of Github email search☆17Dec 28, 2015Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆11Nov 28, 2019Updated 6 years ago
- The official Xilinx u-boot repository☆678Updated this week
- The official Linux kernel from Xilinx☆1,544Updated this week
- UEFI exercise code backup.☆14Jul 22, 2016Updated 9 years ago
- Simple game, which can be run on UEFI☆11Aug 10, 2019Updated 6 years ago
- Boot OS X, Windows, and Linux on Mac or PC with UEFI or BIOS firmware☆20Jul 8, 2019Updated 6 years ago
- Unifies OS page cache for heterogeneous systems☆13Jul 26, 2019Updated 6 years ago
- [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C☆17Apr 25, 2021Updated 5 years ago
- (Cross) Compile FreeBSD binaries on Linux☆34May 9, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source code for reference designs applications☆22Mar 5, 2025Updated last year
- ☆51May 11, 2026Updated last week
- EDK II sample platform branches and tags☆16Apr 17, 2021Updated 5 years ago
- LVGL UEFI RW GUI Application☆17Aug 13, 2021Updated 4 years ago
- Collaborative Execution Strategies for Heterogeneous CPU-FPGA Architectures☆11Apr 23, 2019Updated 7 years ago
- Snapdragon S4 Pro/APQ8064 support for FreeBSD☆27Sep 14, 2014Updated 11 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago