diff --git a/repos/hello_gpgpu/run/multi_gpgpu.run b/repos/hello_gpgpu/run/multi_gpgpu.run new file mode 100644 index 0000000000..f1dc77a167 --- /dev/null +++ b/repos/hello_gpgpu/run/multi_gpgpu.run @@ -0,0 +1,90 @@ +# build config +build { core init gpgpu timer hello_gpgpu } + +# platform config +set use_acpica_as_acpi_drv 0 +source ${genode_dir}/repos/base/run/platform_drv.inc +proc platform_drv_policy {} { + global use_acpica_as_acpi_drv + set policy "" + + append_if $use_acpica_as_acpi_drv policy { + } + + append policy { + } + append policy { + } + + return $policy +} +append_platform_drv_build_components +build $build_components + +# boot dir +create_boot_directory + +# other config +append config { + + + + + + + + + + + + + + + + + + + + + + + +} + +append_platform_drv_config + +append config { + + + + + + + + + 2022-07-20 14:30 + + + + + + + + 2022-07-20 14:30 + + + +} + +install_config $config + +# boot modules +set boot_modules { + core ld.lib.so libc.lib.so vfs.lib.so libm.lib.so init gpgpu timer hello_gpgpu +} +append_platform_drv_boot_modules +build_boot_image $boot_modules + +# qemu stuff +append qemu_args " -nographic -m 16G" +run_genode_until "hello gpgpu completed.*\n" 600