mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 00:24:51 +00:00
parent
81fb10daaa
commit
8aaffe829a
@ -48,7 +48,12 @@ if { [get_cmd_switch --autopilot] && [have_include "power_on/qemu"] } {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [get_cmd_switch --autopilot] && ![have_spec x86_64] } {
|
||||
if { [get_cmd_switch --autopilot] &&
|
||||
![have_spec arndale] &&
|
||||
![have_spec panda] &&
|
||||
![have_spec rpi] &&
|
||||
![have_spec x86] &&
|
||||
![have_spec wand_quad]} {
|
||||
puts "Run script does not support autopilot mode on this platform"
|
||||
exit 0
|
||||
}
|
||||
@ -101,7 +106,7 @@ append config {
|
||||
<default caps="100"/>}
|
||||
|
||||
append_if [have_spec gpio] config "
|
||||
<start name=\"[gpio_drv]\">
|
||||
<start name=\"[gpio_drv]\" caps=\"150\">
|
||||
<resource name=\"RAM\" quantum=\"4M\"/>
|
||||
<provides><service name=\"Gpio\"/></provides>
|
||||
<config/>
|
||||
@ -123,7 +128,7 @@ append config {
|
||||
</config>
|
||||
</start>
|
||||
|
||||
<start name="usb_drv" caps="120"> }
|
||||
<start name="usb_drv" caps="150"> }
|
||||
append config "<binary name=\"[usb_host_drv_binary]\"/>"
|
||||
append config {
|
||||
<resource name="RAM" quantum="11M"/>
|
||||
|
Loading…
x
Reference in New Issue
Block a user