run: add acpi spec as default to foc/nova 64bit
This commit is contained in:
parent
aa98450f71
commit
2beb851c5a
|
@ -160,6 +160,7 @@ foc_x86_32::
|
||||||
|
|
||||||
foc_x86_64::
|
foc_x86_64::
|
||||||
@echo "SPECS = genode foc_x86_64" > $(BUILD_DIR)/etc/specs.conf
|
@echo "SPECS = genode foc_x86_64" > $(BUILD_DIR)/etc/specs.conf
|
||||||
|
@echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf
|
||||||
|
|
||||||
nova_x86_32::
|
nova_x86_32::
|
||||||
@echo "SPECS = genode nova_x86_32" > $(BUILD_DIR)/etc/specs.conf
|
@echo "SPECS = genode nova_x86_32" > $(BUILD_DIR)/etc/specs.conf
|
||||||
|
@ -167,6 +168,7 @@ nova_x86_32::
|
||||||
|
|
||||||
nova_x86_64::
|
nova_x86_64::
|
||||||
@echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf
|
@echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf
|
||||||
|
@echo "SPECS += acpi" >> $(BUILD_DIR)/etc/specs.conf
|
||||||
|
|
||||||
foc_pbxa9::
|
foc_pbxa9::
|
||||||
@echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf
|
@echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf
|
||||||
|
|
Loading…
Reference in New Issue
Block a user