mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-09 04:15:52 +00:00
parent
4dd9172888
commit
03538a1c3b
@ -19,6 +19,10 @@ if {[have_spec fiasco]} {
|
||||
#
|
||||
exit 0
|
||||
}
|
||||
if {[have_spec hw]} {
|
||||
puts "Hw kernel is unsupported (see https://github.com/genodelabs/genode/issues/801)"
|
||||
exit 0
|
||||
}
|
||||
|
||||
#
|
||||
# Build
|
||||
|
Loading…
x
Reference in New Issue
Block a user