diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run
index d0f589c3e6..1b364fb85a 100644
--- a/repos/gems/run/tcp_terminal.run
+++ b/repos/gems/run/tcp_terminal.run
@@ -17,11 +17,15 @@ if {[have_spec linux]} {
build {
core init
- drivers/pci drivers/timer drivers/nic
+ drivers/timer drivers/nic
server/tcp_terminal
test/terminal_echo
}
+lappend_if [have_spec acpi] build_components drivers/acpi
+lappend_if [have_spec pci] build_components drivers/pci
+lappend_if [have_spec pci] build_components drivers/pci/device_pd
+
create_boot_directory
#
@@ -44,7 +48,7 @@ set config {
-
+
@@ -68,7 +72,22 @@ set config {
}
-append_if [have_spec pci] config {
+append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
+
+
+
+
+ }
+
+append_if [expr ![have_spec acpi] && [have_spec pci]] config {
@@ -94,7 +113,9 @@ set boot_modules {
}
# platform-specific modules
-lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [have_spec acpi] boot_modules acpi_drv
+lappend_if [have_spec nova] boot_modules pci_device_pd
build_boot_image $boot_modules