make run/rump_ext2 fails

[Adrian]

Hello,

I am trying to explore the rump_fs facilities.
I followed the repos/dde_rump/README and failed when executing make 
run/rump_ext2.
Following is a pasted-in terminal output.  Any help would be appreciated.

adrian at ...295...:~/genode-14.11/build/build.fs$ make run/rump_ext2
using run script /home/adrian/genode-14.11/repos/base-nova/run/env
using run script /home/adrian/genode-14.11/repos/dde_rump/run/rump_ext2.run
building targets:  core init drivers/timer server/ram_blk server/rump_fs 
test/libc_vfs
spawn make core init drivers/timer server/ram_blk server/rump_fs 
test/libc_vfs
make[1]: Betrete Verzeichnis '/home/adrian/genode-14.11/build/build.fs'
Error: target 'test/libc_vfs' does not exist
make[1]: *** [error_missing_targets] Fehler 1
make[1]: Verlasse Verzeichnis '/home/adrian/genode-14.11/build/build.fs'
Error: Genode build failed
make: *** [run/rump_ext2] Fehler 252
adrian at ...295...:~/genode-14.11/build/build.fs$

Regards, Adrian Schuur