diff --git a/repos/os/run/test.run b/repos/os/run/test.run index d99d320ee..3cd97250f 100644 --- a/repos/os/run/test.run +++ b/repos/os/run/test.run @@ -223,7 +223,14 @@ foreach rom [content_rom_modules] { # raw-archive content is installed directly into [run_dir]/genode if {![rom_module_from_raw_archive $rom]} { - lappend boot_modules $rom } + lappend boot_modules $rom + } + + # handle vfs plugin shared-object targets + if {[regexp "^vfs_(.+).lib.so$" $rom dummy plugin]} { + lappend build_targets lib/vfs/$plugin + continue + } if {[info exists src_sub_dir($rom)]} { lappend build_targets $src_sub_dir($rom)