ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-17 06:38:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
901b39259c6c056efad2a0bc78038cfd2779b2d5
genode/tool/builddir/etc
History
Adrian-Ken Rueegsegger dd22c961c9 Update Muen port 
- Adjust list of Muen components
- vbox: Sync hw_x86_64_muen subject state with Muen SK
2016-08-10 11:07:48 +02:00
..
build.conf.drivers_arm
make dde_linux repository an optional one
2013-11-26 14:32:05 +01:00
build.conf.drivers_x86
dde_oss: remove repository
2015-05-06 16:18:42 +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_odroid_x2
foc: Odroid-X2 basic support
2015-07-21 09:28:25 +02: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_rpi
base-foc: support for Raspberry Pi
2015-07-06 12:22:26 +02: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_riscv
riscv: create_builddir support
2016-02-26 11:36:50 +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_wand_quad
hw: support Wandboard Quad (i.MX6)
2015-04-09 16:04:43 +02:00
build.conf.hw_x86_64
Add hw_x86_64 to create_builddir tool
2015-03-27 11:53:16 +01:00
build.conf.hw_x86_64_muen
Update Muen port
2016-08-10 11:07:48 +02:00
build.conf.hw_zynq
hw_zynq: refactor specs
2016-04-25 10:48:00 +02: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.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
builddir: genode world in optional repositories
2016-04-11 12:25:56 +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
build.conf.sel4_x86_32
Add sel4_x86_32 to create_builddir tool
2015-05-26 09:40:01 +02:00
README
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00

README 

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