diff --git a/repos/ports/ports/seoul.hash b/repos/ports/ports/seoul.hash index f3347f16eb..0562fba89b 100644 --- a/repos/ports/ports/seoul.hash +++ b/repos/ports/ports/seoul.hash @@ -1 +1 @@ -d5d5885b5e485bc58d541b1f76a7518f169acc20 +800924f3dc293d6c21d4e15fac0605ad4d7269b9 diff --git a/repos/ports/ports/seoul.port b/repos/ports/ports/seoul.port index d0f1509557..0ca390a7ba 100644 --- a/repos/ports/ports/seoul.port +++ b/repos/ports/ports/seoul.port @@ -4,7 +4,7 @@ DOWNLOADS := seoul.git URL(seoul) := https://github.com/alex-ab/seoul.git # branch genode_21_05 -REV(seoul) := dc21f28de3c9d1a4f99df6da346663ce191f1978 +REV(seoul) := 5676b9efa5be9f1c9f7a8297ab462d76933896af DIR(seoul) := src/app/seoul # diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index c0b6d6ad3a..0803b6b2b2 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -13,7 +13,8 @@ create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/src/init \ - [depot_user]/src/nitpicker + [depot_user]/src/nitpicker \ + [depot_user]/src/vfs_import if {$use_fs_rump} { import_from_depot [depot_user]/src/vfs \