mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 11:10:24 +00:00
parent
df8bdaaf79
commit
28112d1ff9
@ -1,4 +1,5 @@
|
|||||||
|
|
||||||
RUMP_OPT =
|
RUMP_OPT =
|
||||||
|
REQUIRES = arm_v7
|
||||||
|
|
||||||
include $(REP_DIR)/lib/mk/rump_base.inc
|
include $(REP_DIR)/lib/mk/rump_base.inc
|
||||||
|
@ -1,3 +1,7 @@
|
|||||||
|
if {[have_spec arm]} {
|
||||||
|
assert_spec arm_v7
|
||||||
|
}
|
||||||
|
|
||||||
#
|
#
|
||||||
# Check used commands
|
# Check used commands
|
||||||
#
|
#
|
||||||
|
@ -1,3 +1,7 @@
|
|||||||
|
if {[have_spec arm]} {
|
||||||
|
assert_spec arm_v7
|
||||||
|
}
|
||||||
|
|
||||||
#
|
#
|
||||||
# Check used commands
|
# Check used commands
|
||||||
#
|
#
|
||||||
|
@ -1,3 +1,7 @@
|
|||||||
|
if {[have_spec arm]} {
|
||||||
|
assert_spec arm_v7
|
||||||
|
}
|
||||||
|
|
||||||
#
|
#
|
||||||
# Check used commands
|
# Check used commands
|
||||||
#
|
#
|
||||||
|
@ -1,3 +1,7 @@
|
|||||||
|
if {[have_spec arm]} {
|
||||||
|
assert_spec arm_v7
|
||||||
|
}
|
||||||
|
|
||||||
#
|
#
|
||||||
# Check used commands
|
# Check used commands
|
||||||
#
|
#
|
||||||
|
Loading…
x
Reference in New Issue
Block a user