diff --git a/ports/run/genode_org.run b/ports/run/genode_org.run
index 44490b87a8..436fad75c6 100644
--- a/ports/run/genode_org.run
+++ b/ports/run/genode_org.run
@@ -51,11 +51,26 @@ append_if [have_spec pci] config {
}
-append config {
+append_if [have_spec omap4] config {
+
+
+
+
+
+
+
+
+
+
+ }
+
+append_if [expr ![have_spec omap4]] config {
-
+ }
+
+append config {
@@ -125,14 +140,16 @@ exec tar cfv bin/genode_org.tar -h -C bin/genode_org .
# generic modules
set boot_modules {
- core init timer ld.lib.so nic_drv tar_fs
+ core init timer ld.lib.so tar_fs
libc.lib.so libm.lib.so libc_fs.lib.so libc_log.lib.so
- lwip.lib.so zlib.lib.so libcrypto.lib.so libssl.lib.so
+ lwip.lib.so zlib.lib.so
lighttpd genode_org.tar
}
# 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 omap4] boot_modules usb_drv
+lappend_if [expr ![have_spec omap4]] boot_modules nic_drv
build_boot_image $boot_modules
diff --git a/ports/src/app/lighttpd/target.inc b/ports/src/app/lighttpd/target.inc
index 5d423cc9b2..6fc73a3abc 100644
--- a/ports/src/app/lighttpd/target.inc
+++ b/ports/src/app/lighttpd/target.inc
@@ -22,4 +22,4 @@ INC_DIR += $(PRG_DIR)
INC_DIR += $(LIGHTTPD_DIR)/src
LIBS += cxx env libc libm
-LIBS += libcrypto libssl zlib config_args
+LIBS += zlib config_args