ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool: remove sel4 x86_32/pc and imx7-sabre artifacts

Browse Source 
Issue #4918
This commit is contained in:
Christian Helmuth 2023-06-29 16:04:54 +02:00 committed by Norman Feske
parent c84bbea1ca
commit 18c00e58cc
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/builddir/build.conf/run_x86_32
View File

@ -1,4 +1,4 @@
# kernel to use (nova, linux, sel4, foc, okl4, fiasco, or pistachio)
# kernel to use (nova, linux, foc, okl4, fiasco, or pistachio)
#KERNEL ?= nova
# board to use (pc, or linux)

1
tool/run/boot_dir/sel4
View File

@ -155,7 +155,6 @@ proc base_src { } {
if {[have_spec x86]} { return base-sel4-x86 }
if {[have_board imx6q_sabrelite]} { return base-sel4-imx6q_sabrelite }
if {[have_board imx7d_sabre]} { return base-sel4-imx7d_sabre }
global specs