ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sd_card_bench.run: allow timer to reach IO_MEM

Browse Source 
This is needed on seL4 on i.MX6 where the user-level timer driver
accesses memory-mapped I/O registers directly.
This commit is contained in:
Norman Feske 2021-03-12 12:09:17 +01:00
parent 5c5b56d1e0
commit 15780a657c
2 changed files with 2 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/run/sd_card.run
View File

@ -40,13 +40,7 @@ install_config {
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<route>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
</route>
<route> <any-service> <parent/> </any-service> </route>
</start>
<start name="pl180_sd_card_drv">

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

@ -106,13 +106,7 @@ install_config {
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
<route>
<service name="ROM"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
</route>
<route> <any-service> <parent/> </any-service> </route>
</start>
<start name="sd_card_drv">