-
Notifications
You must be signed in to change notification settings - Fork 9
Zynq SoC support for the Genode OS framework
License
genodelabs/genode-zynq
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
==================================== 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://github.com/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.
About
Zynq SoC support for the Genode OS framework
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published