ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-24 01:28:48 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sd_card_bench.run: assign 'managing_system' role

Browse Source 
Issue #2243
This commit is contained in:
Norman Feske
2022-02-15 15:18:04 +01:00
parent 649647538b
commit 8b7067d289
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/run/sd_card_bench.run
View File

@ -83,7 +83,7 @@ install_config {
</parent-provides>
<default caps="100"/>
<start name="platform_drv">
<start name="platform_drv" managing_system="yes">
<binary name="} [platform_drv] {"/>
<resource name="RAM" quantum="1M"/>
<provides><service name="Platform"/></provides>