genode/repos/base-hw
Stefan Kalkowski c43267dbaa tool: deprecate board-specific build directories
* Introduces BOARD variable to determine actual board
* Removes formerly deprecated kernel-specific build directories

The following boards are available:

arm_v6: rpi
arm_v7a: arndale, imx53_qsb, imx53_qsb_tz, imx6q_sabrelite, imx7d_sabre,
         nit6_solox, odroid_x2, odroid_xu, panda, pbxa9, usb_armory,
         wand_quad, zynq_qemu
x86_64: pc, linux, muen
x86_32: pc, linux
riscv:  spike

Ref #3316
2019-05-27 14:46:29 +02:00
..
doc Update Muen port 2018-02-28 11:04:57 +01:00
etc tool: deprecate board-specific build directories 2019-05-27 14:46:29 +02:00
include hw: remove implicit SoC-specific include path 2019-05-16 13:11:02 +02:00
lib/mk vm_session: track dataspaces used by attach 2019-05-06 16:15:25 +02:00
ports hw_riscv: strictly separate machine and syscall ids 2019-03-18 15:56:59 +01:00
recipes depot: update recipe hashes 2019-05-06 16:15:27 +02:00
run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
src hw: remove implicit SoC-specific include path 2019-05-16 13:11:02 +02:00