mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-09 04:15:52 +00:00
sculpt: update Seoul VM configuration
Changes to the Seoul configuration are required due to shared binary changes by init (see #2866)
This commit is contained in:
parent
0502836975
commit
dd363da5b0
@ -676,7 +676,7 @@ append manual_deploy_config {
|
||||
-->
|
||||
|
||||
<!--
|
||||
<start name="seoul-vmm-browser" pkg="alex-ab/pkg/seoul-nova-sculpt/2018-06-27">
|
||||
<start name="seoul-vmm-browser" pkg="alex-ab/pkg/seoul-nova-sculpt/2018-07-13">
|
||||
<route>
|
||||
<service name="ROM" label="platform_info"> <parent/> </service>
|
||||
<service name="RM"> <parent/> </service>
|
||||
|
Loading…
x
Reference in New Issue
Block a user