ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: launcher for system clock

Browse Source 
Issue #5174
This commit is contained in:
Norman Feske 2024-04-15 15:22:29 +02:00 committed by Christian Helmuth
parent 4c4adec5ad
commit 694eb3f40d
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/sculpt/default-pc.sculpt
View File

@ -8,7 +8,7 @@ import: pkg/sculpt_drivers-pc
# selection of launcher-menu entries
launcher: vm_fs shared_fs download_debug_info black_hole trace_logger
launcher: audio mixer
launcher: audio mixer system_clock
# selection of accepted depot-package providers
depot: genodelabs cnuke alex-ab mstein nfeske cproc chelmuth jschlatow

6
repos/gems/sculpt/launcher/system_clock Normal file
View File

@ -0,0 +1,6 @@
<launcher pkg="system_clock-pc" priority="-1">
<route>
<service name="IRQ"> <parent/> </service>
<service name="IO_PORT"> <parent/> </service>
</route>
</launcher>