Device trees used by QEMU to describe the hardware
☆57Dec 16, 2025Updated 3 months ago
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.☆285Nov 20, 2025Updated 4 months ago
- ☆13Dec 7, 2023Updated 2 years ago
- QEMU libsystemctlm-soc co-simulation demos.☆160May 21, 2025Updated 10 months ago
- ☆21Dec 9, 2018Updated 7 years ago
- A curated list of awesome things related to rustsbi☆43Oct 14, 2022Updated 3 years ago
- Sample of project using UIO(User Space IO) Interrupt(ZYBO/Linux/PUMP_AXI4).☆13Nov 26, 2017Updated 8 years ago
- xv6 port to aarch64 virt board☆29Oct 22, 2023Updated 2 years ago
- ARM Trusted Firmware☆34Nov 20, 2025Updated 4 months ago
- 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☆170Mar 16, 2026Updated last week
- Python tools for processing Verilog files☆10Dec 7, 2011Updated 14 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- The ryppl command-line tool☆43Mar 30, 2013Updated 12 years ago
- Linux applications to manage, test and develop devices supporting DMTF Security Protocol and Data Model (SPDM)☆18Feb 6, 2026Updated last month
- Encapsulate Xilinx PetaLinux tools 14.04 into docker image☆14Jun 25, 2018Updated 7 years ago
- MOVED TO: https://cirosantilli.com#how-to-teach☆12Jul 27, 2019Updated 6 years ago
- Linux device tree generator for the Xilinx SDK (Vivado > 2014.1)☆231Nov 20, 2025Updated 4 months ago
- SystemC/TLM-2.0 Co-simulation framework☆274May 21, 2025Updated 10 months ago
- [Course] Hands-On ZYNQ: Mastering AXI4 Bus Protocol☆19Feb 22, 2020Updated 6 years ago
- ☆11Nov 28, 2019Updated 6 years ago
- EDK II sample platform branches and tags☆15Apr 17, 2021Updated 4 years ago
- The official Xilinx u-boot repository☆675Feb 4, 2026Updated last month
- The official Linux kernel from Xilinx☆1,533Feb 26, 2026Updated 3 weeks ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆19Jul 3, 2012Updated 13 years ago
- UEFI exercise code backup.☆14Jul 22, 2016Updated 9 years ago
- UEFI Specification in Chinese/UEFI 规范中文翻译☆38Feb 18, 2025Updated last year
- Unifies OS page cache for heterogeneous systems☆12Jul 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 4 years ago
- BootLoader for ToyOS, developed under EDK2, support UEFI.☆16May 11, 2024Updated last year
- (Cross) Compile FreeBSD binaries on Linux☆33May 9, 2019Updated 6 years ago
- ☆50Updated this week
- Easy build environment to develop plugins for Remmina☆11Jun 2, 2025Updated 9 months ago
- Collaborative Execution Strategies for Heterogeneous CPU-FPGA Architectures☆11Apr 23, 2019Updated 6 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
- UEFI アプリケーションで、英日中韓台のアウトライン・フォント表示を行うサンプル・プログラムです。☆14Mar 26, 2022Updated 3 years ago
- Cryptodev-linux is a Linux-kernel device that allows user-space access to hardware cryptographic accelerators.☆169Nov 3, 2025Updated 4 months ago