mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
committed by
Christian Helmuth
parent
68afbbc0f0
commit
c665f4e51d
@@ -5,6 +5,7 @@ cpu_balancer
|
||||
cpu_bench
|
||||
cpu_quota
|
||||
cpu_sampler
|
||||
cpu_scheduler
|
||||
demo
|
||||
depot_autopilot
|
||||
depot_download
|
||||
|
||||
Reference in New Issue
Block a user