genode/tool/builddir/etc
Martin Stein be392b3bf9 hw: support USB-Armory board
The USB Armory is almost the same as the i.MX53-QSB but it uses only
one of the two RAM banks available in i.MX53. Furthermore we use the USB
Armory only with Trustzone enabled.

Ref #1422
2015-02-27 11:48:35 +01:00
..
build.conf.codezero_vpb926 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.drivers_arm make dde_linux repository an optional one 2013-11-26 14:32:05 +01:00
build.conf.drivers_x86 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
build.conf.fiasco_x86 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_arndale create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_imx53 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_panda create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_pbxa9 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_vea9x4 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_x86_32 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.foc_x86_64 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.generic Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
build.conf.hw_arndale create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.hw_imx53_qsb hw: support USB-Armory board 2015-02-27 11:48:35 +01:00
build.conf.hw_imx53_qsb_tz hw: support USB-Armory board 2015-02-27 11:48:35 +01:00
build.conf.hw_odroid_xu create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.hw_panda create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.hw_pbxa9 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.hw_rpi create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.hw_usb_armory hw: support USB-Armory board 2015-02-27 11:48:35 +01:00
build.conf.hw_vea9x4 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.linux_arm create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.linux_x86 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.lx_hybrid_x86 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.nova_x86_32 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.nova_x86_64 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.okl4_x86 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.optional Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
build.conf.pistachio_x86 create_builddir: add default RUN_OPT configuration 2015-01-26 12:28:40 +01:00
build.conf.ports-foc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
build.conf.qemu_no_kvm Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

This directory contains templates for configuring build directories
for different platforms. They are used by the 'create_builddir' tool.