mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-29 15:44:02 +00:00
Add x86 driver repositories to muen build.conf
This commit is contained in:
parent
dfc7c4b60b
commit
f58a046003
@ -132,7 +132,7 @@ BUILD_CONF(wand_quad) := run_kernel_hw run_boot_dir repos
|
||||
BUILD_CONF(odroid_xu) := run_kernel_hw run_boot_dir repos
|
||||
BUILD_CONF(odroid_x2) := run_kernel_foc run_boot_dir repos
|
||||
BUILD_CONF(zynq_qemu) := run_kernel_hw run_qemu run_opt_hw run_boot_dir qemu_opt_arm repos
|
||||
BUILD_CONF(muen) := run_kernel_hw run_opt_muen run_boot_dir repos
|
||||
BUILD_CONF(muen) := run_kernel_hw run_opt_muen run_boot_dir repos repos_x86
|
||||
BUILD_CONF(riscv_spike) := run_kernel_hw run_opt_spike run_boot_dir repos
|
||||
BUILD_CONF(linux) := run_kernel_linux repos
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user