2
0
Fork
You've already forked genode-zynq
0
Zynq SoC support for the Genode OS framework
  • C++ 69.2%
  • C 16.6%
  • Makefile 9%
  • Tcl 3.3%
  • BitBake 1.2%
  • Other 0.7%
2026年02月10日 07:10:46 +01:00
board Revert "platform_drv: remove hard-coded slcr device" 2023年05月24日 11:13:33 +02:00
doc doc: Getting Started with USRP e310 2021年11月29日 15:11:17 +01:00
include mmio: upper-bounds checks 2024年01月30日 12:07:42 +01:00
lib zynq_linux: update to Linux 6.12 2025年08月27日 07:33:46 +02:00
ports uboot: increase CONFIG_SYS_BOOTM_LEN 2023年11月16日 13:58:38 +01:00
recipes depot: update recipe hashes 2026年01月29日 14:07:01 +01:00
run run/sd_card_zynq: fix write test 2025年12月09日 13:59:52 +01:00
src test/dma_loopback: use libc memset 2025年12月08日 14:11:57 +01:00
tool zynq_uboot_sdcard: move uImage to /boot/uImage 2023年01月19日 16:45:21 +01:00
.gitignore Add .gitignore 2023年12月05日 15:31:25 +01:00
LICENSE README and LICENSE 2021年08月18日 16:14:45 +02:00
README Update README with Codeberg URL 2026年02月10日 07:10:46 +01:00 

 ====================================
 Genode support for Zynq-based boards
 ====================================
This repository complements the Genode OS framework (https://genode.org) with
the board support needed to use Genode on devices based on Xilinx Zynq SoCs.
To use it, you first need to obtain a clone of Genode:
! git clone https://github.com/genodelabs/genode.git genode
Now, clone the _genode-zynq.git_ repository to _genode/repos/zynq:
! git clone https://codeberg.org/genodelabs/genode-zynq.git genode/repos/zynq
Create a build directory by executing the following command in the genode
directory:
! ./tool/create_builddir arm_v7a
For enabling the board support, adjust the build-directory configuration
_etc/build.conf_ by adding the following line before the other 'REPOSITORIES'
definitions so that the _zynq_ repository is prioritized over the others.
! REPOSITORIES += $(GENODE_DIR)/repos/zynq
License
-------
Genode-specific code is provided under Genode's regular open-source license,
which is AGPLv3 + open-source linking exception. This code is also available
under a commercial license offered by Genode Labs.
For code ported from other projects - e.g., device drivers ported from the
Linux kernel - the license of the originating upstream project applies.
Please refer to the individual file headers for detailed information.