diff --git a/ports-foc/run/l4linux_dynamic.run b/ports-foc/run/l4linux_dynamic.run
index 60bf47293..cb465aec6 100644
--- a/ports-foc/run/l4linux_dynamic.run
+++ b/ports-foc/run/l4linux_dynamic.run
@@ -1,4 +1,5 @@
assert_spec foc
+assert_spec arm
#
# Build
@@ -6,14 +7,17 @@ assert_spec foc
set build_components {
core
init
+ drivers/platform
drivers/usb
drivers/timer
drivers/uart
drivers/sd_card
+ drivers/ahci
server/terminal_mux
server/terminal_log
server/nic_bridge
server/part_blk
+ server/ffat_fs
drivers/framebuffer
app/cli_monitor
test/affinity
@@ -21,11 +25,16 @@ set build_components {
test/lwip/http_srv
test/block
l4linux
+ noux
}
+lappend build_components noux-pkg/vim
+
build $build_components
create_boot_directory
+exec tar cfv bin/vim.tar -h -C bin/vim .
+
#
# Config
#
@@ -79,13 +88,21 @@ set config {
+
+
+
+
+
+
+
+
-
+
@@ -111,16 +128,36 @@ set config {
-
+
+
+
+
+
+
-
-
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -173,30 +210,18 @@ set config {
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -211,16 +236,85 @@ set config {
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -240,12 +334,15 @@ set boot_modules {
init
timer
kdb_uart_drv
+ platform_drv
terminal_mux
terminal_log
ld.lib.so
libc.lib.so
+ libm.lib.so
libc_terminal.lib.so
libc_log.lib.so
+ libc_noux.lib.so
lwip.lib.so
ncurses.lib.so
cli_monitor
@@ -257,31 +354,24 @@ set boot_modules {
test-lwip_httpsrv
nic_bridge
sd_card_drv
+ ahci
test-block
part_blk
+ ffat_fs
+ noux
+ vim.tar
}
-if {[have_spec x86]} {
- set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz"
-} elseif {[have_spec arm]} {
- set uri "http://genode.org/files/release-11.11/l4lx/initrd-arm.gz"
-}
+set uri "http://genode.org/files/l4linux/initrd-arm-mdev.gz"
if {![file exists bin/initrd.gz]} {
puts "Download initramfs ..."
exec >& /dev/null wget -c -O bin/initrd.gz $uri
}
+exec >& /dev/null wget -c -O bin/initrd.gz.md5 $uri.md5
+cd bin
+exec md5sum -c initrd.gz.md5
+cd ..
set fiasco_serial_esc_arg ""
-
build_boot_image [join $boot_modules " "]
-
-#
-# Qemu
-#
-append qemu_args " -m 512 -nographic "
-append_if [have_spec x86] qemu_args " -smp 2,cores=2 "
-
-#
-# Execute test case
-#
run_genode_until forever