mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
.. | ||
l4_pkg.mk | ||
spec-foc_arm.mk | ||
spec-foc_arndale.mk | ||
spec-foc_imx53.mk | ||
spec-foc_panda.mk | ||
spec-foc_pbxa9.mk | ||
spec-foc_rpi.mk | ||
spec-foc_x86_32.mk | ||
spec-foc_x86_64.mk | ||
spec-foc.mk |