From ea954e7e15b98cf615bf7c1fe297d66882b0767c Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 8 May 2019 15:48:14 +0200 Subject: [PATCH] demo: support more platforms in test / drivers RAM --- repos/os/run/demo.run | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run index 6fe2d6afc..6b9642f4b 100644 --- a/repos/os/run/demo.run +++ b/repos/os/run/demo.run @@ -41,7 +41,7 @@ install_config { - + @@ -218,14 +218,17 @@ build_boot_image { status_bar testnit launchpad.config } if {[get_cmd_switch --autopilot]} { run_genode_until {\[init -> scout\] png is.*\n} 40 - grep_output {(requests resources: ram_quota)|(Error)} + grep_output {(requests resources: )|(Error)} # remove Error messages which are not fatal, mostly unify_output {(?n)^.*platform_drv] Error:.*ACPI table information is wrong.*$} "" unify_output {(?n)^.*platform_drv] Error: adjust size from.*$} "" + unify_output {(?n)^.*platform_drv] Error: IRQ-session creation failed.*$} "" + unify_output {(?n)^.*platform_drv] Error:.*platform_info.*$} "" unify_output {(?n)^.*acpi_drv] Error:.*platform_info.*$} "" unify_output {(?n)^.*ps2_drv] Error: no data available.*$} "" unify_output {(?n)^.*ps2_drv] Error: failed to read from port.*$} "" + unify_output {(?n)^.*] Error: RAM preservation exceeds available memory.*$} "" compare_output_to {}