mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +00:00
Moon: Route to IO_PORT/IRQ services
The timer needs IRQ and IO_PORT on platforms where it uses the PIT.
This commit is contained in:
parent
7bffdacc9a
commit
a497a22edf
@ -13,6 +13,8 @@ install_config {
|
||||
<service name="RM"/>
|
||||
<service name="CAP"/>
|
||||
<service name="LOG"/>
|
||||
<service name="IO_PORT"/>
|
||||
<service name="IRQ"/>
|
||||
</parent-provides>
|
||||
<default-route>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
|
Loading…
Reference in New Issue
Block a user