genode/tool/builddir/build.conf
Sebastian Sumpf b5c780993c board: Rename virt_qemu to virt_qemu_<arch>
Instead of having a generic "virt_qemu" board use "virt_qemu_<arch>" in
order to have a clean distinction between boards. Current supported
boards are "virt_qemu_arm_v7a", "virt_qemu_arm_v8a", and
"virt_qemu_riscv".

issue #4034
2022-08-17 12:03:26 +02:00
..
ccache Add ccache support to build system 2021-02-23 12:02:41 +01:00
make_j Add unified build directories to create_builddir 2017-01-13 13:05:44 +01:00
README Add unified build directories to create_builddir 2017-01-13 13:05:44 +01:00
repos Add unified build directories to create_builddir 2017-01-13 13:05:44 +01:00
repos_arm_v6 create_builddir: add rpi and allwinner repos 2022-01-19 12:38:12 +01:00
repos_arm_v7 create_builddir: add imx repository for arm_v7 2022-02-15 10:20:59 +01:00
repos_arm_v8 create_builddir: add rpi and allwinner repos 2022-01-19 12:38:12 +01:00
repos_riscv base-hw: Remove 'riscv_qemu' and move to 'genode-riscv' 2021-12-17 15:04:48 +01:00
repos_x86 Introduce pc repository for PC board support 2022-02-15 10:23:16 +01:00
run run: add --depot-auto-update feature 2019-04-09 12:30:34 +02:00
run_arm_v6 tool: deprecate board-specific build directories 2019-05-27 14:46:29 +02:00
run_arm_v7 board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
run_arm_v8 board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
run_boot_dir tool: deprecate board-specific build directories 2019-05-27 14:46:29 +02:00
run_riscv board: Rename virt_qemu to virt_qemu_<arch> 2022-08-17 12:03:26 +02:00
run_x86 builddir/run_x86: add note regarding missing -no-kvm switch 2021-06-28 11:38:20 +02:00
run_x86_32 tool: fix BOARD_RUN_OPT for arm_v8 2019-07-09 08:41:53 +02:00
run_x86_64 Remove support for the Muen separation kernel 2021-02-23 11:55:44 +01:00

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