ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 14:37:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

demo: support more platforms in test / drivers RAM

Browse Source
This commit is contained in:
Christian Helmuth 2019-05-08 15:48:14 +02:00
parent 3033496fa4
commit ea954e7e15
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/run/demo.run
View File

@ -41,7 +41,7 @@ install_config {
<provides><service name="Timer"/></provides>
</start>
<start name="drivers" caps="1000">
<start name="drivers" caps="1500">
<resource name="RAM" quantum="32M" constrain_phys="yes"/>
<binary name="init"/>
<route>
@ -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 {}