diff --git a/repos/ports/run/noux_fs.run b/repos/ports/run/noux_fs.run deleted file mode 100644 index e43d5cd26..000000000 --- a/repos/ports/run/noux_fs.run +++ /dev/null @@ -1,131 +0,0 @@ -assert_spec x86 - -set genext2fs [installed_command genext2fs] -set e2fsck [installed_command e2fsck] - -create_boot_directory - -import_from_depot [depot_user]/src/[base_src] \ - [depot_user]/src/init \ - [depot_user]/src/platform_drv \ - [depot_user]/src/report_rom \ - [depot_user]/src/acpi_drv \ - [depot_user]/src/ahci_drv \ - [depot_user]/src/vfs \ - [depot_user]/src/rump \ - [depot_user]/src/log_terminal \ - [depot_user]/src/noux \ - [depot_user]/src/libc \ - [depot_user]/src/posix \ - [depot_user]/src/bash \ - [depot_user]/src/coreutils - -source ${genode_dir}/repos/base/run/platform_drv.inc -set config { - - - - - - - - - - - - - - - - - - - - - - - - - } - -append_platform_drv_config - -append config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - rm /rw/build.conf - sleep 2 - ls /rw - - - - - - - - - - - - - - - } - -install_config $config -append boot_modules { } -build_boot_image $boot_modules - -# -# Build EXT2-file-system image -# -catch { exec $genext2fs -d etc -b 16384 bin/ext2.raw } - -append qemu_args " -nographic -device ahci,id=ahci -boot d " -append qemu_args " -drive id=disk,file=bin/ext2.raw,format=raw,if=none -device ide-hd,drive=disk,bus=ahci.0 " - -run_genode_until {\[init -> log_terminal\].*} 30 - -spawn $e2fsck -y bin/ext2.raw -set fsck_id $spawn_id - -run_genode_until "840/16384 blocks" 5 $fsck_id - -exec rm -f bin/ext2.raw