diff --git a/repos/ports/run/noux_uname.run b/repos/ports/run/noux_uname.run deleted file mode 100644 index 4b700bc22b..0000000000 --- a/repos/ports/run/noux_uname.run +++ /dev/null @@ -1,80 +0,0 @@ -build { - core init timer - app/sequence - lib/libc_noux - noux - noux-pkg/coreutils -} - -create_boot_directory - -install_config { - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Muck OS XIII - localhost - - - norisc - - - - - - - - - - - - - - - - - -} - -build_boot_image { - core init ld.lib.so - coreutils.tar - libc_noux.lib.so - libm.lib.so - noux libc.lib.so vfs.lib.so - posix.lib.so - sequence - timer -} - -append qemu_args " -nographic -serial mon:stdio " - -# coreutils.tar is really huge when built for x86_64 - -run_genode_until {child "sequence" exited with exit value 0.*\n} 30