denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

create_builddir: add rpi and allwinner repos

Browse Source
This commit is contained in:
Stefan Kalkowski
2022-01-10 15:39:11 +01:00
committed by Christian Helmuth
parent 713c841965
commit bed7f13008
3 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tool/builddir/build.conf/repos_arm_v6 Normal file
View File

@@ -0,0 +1,4 @@
#
# Board support for Raspberry Pi family
#
#REPOSITORIES += $(GENODE_DIR)/repos/rpi

10
tool/builddir/build.conf/repos_arm_v8
View File

@@ -2,3 +2,13 @@
# Board support for i.MX SoC family
#
#REPOSITORIES += $(GENODE_DIR)/repos/imx
#
# Board support for Raspberry Pi family
#
#REPOSITORIES += $(GENODE_DIR)/repos/rpi
#
# Board support for Allwinner SoC family
#
#REPOSITORIES += $(GENODE_DIR)/repos/allwinner