diff --git a/repos/ports/run/noux_fs.run b/repos/ports/run/noux_fs.run new file mode 100644 index 000000000..f75842511 --- /dev/null +++ b/repos/ports/run/noux_fs.run @@ -0,0 +1,129 @@ +set genext2fs [check_installed genext2fs] +set e2fsck [check_installed e2fsck] + +create_boot_directory + +import_from_depot genodelabs/src/[base_src] \ + genodelabs/src/init \ + genodelabs/src/platform_drv \ + genodelabs/src/report_rom \ + genodelabs/src/acpi_drv \ + genodelabs/src/ahci_drv \ + genodelabs/src/vfs \ + genodelabs/src/rump \ + genodelabs/src/log_terminal \ + genodelabs/src/noux \ + genodelabs/src/libc \ + genodelabs/src/posix \ + genodelabs/src/bash \ + genodelabs/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