create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_interactive_pkg] \ [depot_user]/src/init \ [depot_user]/src/libc \ [depot_user]/src/vfs \ [depot_user]/raw/ttf-bitstream-vera-minimal install_config { } build { server/vfs test/text_painter lib/vfs/ttf } build_boot_image { vfs test-text_painter vfs_ttf.lib.so } run_genode_until forever