mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 22:47:50 +00:00
test.run: support binaries other than init
This change enables the use of runtime pkgs that specify the test binary directly as attribute in the <runtime> node.
This commit is contained in:
parent
2baa283d87
commit
d5d3b3c3a4
@ -170,8 +170,9 @@ proc try_query_attr_from_runtime { attr } {
|
|||||||
return $result
|
return $result
|
||||||
}
|
}
|
||||||
|
|
||||||
set ram [try_query_attr_from_runtime ram]
|
set ram [try_query_attr_from_runtime ram]
|
||||||
set caps [try_query_attr_from_runtime caps]
|
set caps [try_query_attr_from_runtime caps]
|
||||||
|
set binary [try_query_attr_from_runtime binary]
|
||||||
|
|
||||||
if {[catch {
|
if {[catch {
|
||||||
set config [query_node /runtime/config $runtime_file]
|
set config [query_node /runtime/config $runtime_file]
|
||||||
@ -289,7 +290,7 @@ install_config {
|
|||||||
|
|
||||||
<start name="test" priority="-1" caps="} $caps {">
|
<start name="test" priority="-1" caps="} $caps {">
|
||||||
<resource name="RAM" quantum="} $ram {"/>
|
<resource name="RAM" quantum="} $ram {"/>
|
||||||
<binary name="init"/>
|
<binary name="} $binary {"/>
|
||||||
<route>
|
<route>
|
||||||
<service name="ROM"> <parent/> </service>
|
<service name="ROM"> <parent/> </service>
|
||||||
<service name="PD"> <parent/> </service>
|
<service name="PD"> <parent/> </service>
|
||||||
|
Loading…
Reference in New Issue
Block a user