ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-03 04:26:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
bade0a85e7
genode/tool/builddir
History
Stefan Kalkowski 17f3e7a38f Introduce pc repository for PC board support 
Fix genodelabs/genode#4415
2022-02-15 10:23:16 +01:00
..
build.conf Introduce pc repository for PC board support 2022-02-15 10:23:16 +01:00
build.mk build: detect duplicates in REPOSITORIES 2021-12-17 15:04:49 +01:00