Increase test RAM quotas for sel4 64-bit

repos/base-linux/run/lx_fs.run

@@ -38,7 +38,7 @@ install_config {
 		<config> <policy label_prefix="test-libc_vfs" root="/libc_vfs" writeable="yes" /> </config>
 	</start>
 	<start name="test-libc_vfs">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<vfs>
 				<fs />

repos/dde_rump/run/rump_cgd_ext2.run

@@ -98,7 +98,7 @@ append config {
 		</route>
 	</start>
 	<start name="test-libc_vfs">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<libc stdout="/dev/log">
 				<vfs>

repos/libports/run/libc_vfs.run

@@ -35,7 +35,7 @@ set config {
 		<config> <default-policy root="/" writeable="yes"/> </config>
 	</start>
 	<start name="test-libc_vfs">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<iterations value="1"/>}
 append_if [have_include "power_on/qemu"] config {
@@ -59,7 +59,7 @@ install_config $config
 
 build_boot_image {
 	core init
-	ld.lib.so libc.lib.so libm.lib.so
+	ld.lib.so libc.lib.so
 	ram_fs test-libc_vfs
 }
 

repos/libports/run/libc_vfs_block.run

@@ -35,7 +35,7 @@ set config {
 		<config size="16K" block_size="4096"/>
 	</start>
 	<start name="test-libc_vfs_block">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<vfs> <dir name="dev"> <block/> </dir> </vfs>
 			<libc/>
@@ -74,7 +74,7 @@ install_config $config
 
 build_boot_image {
 	core init
-	ld.lib.so libc.lib.so libm.lib.so posix.lib.so
+	ld.lib.so libc.lib.so
 	ram_blk test-libc_vfs_block
 }
 

repos/libports/run/libc_vfs_filesystem_test.inc

@@ -160,8 +160,7 @@ install_config $config
 
 # generic modules
 append boot_modules {
-	libc.lib.so libm.lib.so posix.lib.so
-	test-libc_vfs
+	libc.lib.so test-libc_vfs
 }
 
 lappend boot_modules {*}$test_boot_modules

repos/libports/run/libc_vfs_fs.run

@@ -38,7 +38,7 @@ set config {
 		</config>
 	</start>
 	<start name="test-libc_vfs">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<iterations value="1"/>}
 append_if [have_include "power_on/qemu"] config {
@@ -62,7 +62,7 @@ install_config $config
 
 build_boot_image {
 	core init vfs
-	ld.lib.so libc.lib.so libm.lib.so posix.lib.so
+	ld.lib.so libc.lib.so
 	test-libc_vfs
 }
 
@@ -70,7 +70,7 @@ build_boot_image {
 # Execute test case
 #
 
-append qemu_args "  -nographic "
+append qemu_args " -nographic "
 run_genode_until {.*child "test-libc_vfs" exited with exit value 0.*} 60
 
 # vi: set ft=tcl :

repos/libports/run/libc_vfs_fs_test.inc

@@ -77,7 +77,7 @@ append config {
 		</config>
 	</start>
 	<start name="test-libc_vfs">
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<libc stdout="/dev/log"/>
 			<vfs>

repos/libports/run/libc_vfs_ram.run

@@ -56,7 +56,7 @@ install_config $config
 
 build_boot_image {
 	core init
-	ld.lib.so libc.lib.so libm.lib.so
+	ld.lib.so libc.lib.so
 	test-libc_vfs
 }
 

repos/libports/run/python.run

@@ -36,7 +36,7 @@ set config {
 	</default-route>
 	<default caps="100"/>
 	<start name="test-python">
-		<resource name="RAM" quantum="3M"/>
+		<resource name="RAM" quantum="4M"/>
 		<config>
 			<vfs>
 				<dir name="dev"> <log/> </dir>

repos/os/run/fs_rom_update.run

@@ -110,12 +110,11 @@ set boot_modules {
 	ram_fs
 	rom_logger
 	rom_to_file
-	test-libc_vfs
 	timer
 }
 
 build_boot_image $boot_modules
 
-append qemu_args "  -nographic"
+append qemu_args " -nographic "
 
-run_genode_until {.*child "test-libc_vfs" exited with exit value 0.*} 60
+run_genode_until forever