mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 06:33:31 +00:00
parent
7248c5cc23
commit
a187f15d8c
@ -8,3 +8,4 @@ _/pkg/system_clock-pc
|
||||
_/pkg/mesa_gpu-intel
|
||||
_/pkg/file_vault
|
||||
_/pkg/bsd_audio_drv
|
||||
_/pkg/gdb_x86
|
||||
|
@ -25,6 +25,7 @@
|
||||
<pkg path="bsd_audio_drv" info="audio driver" arch="x86_64"/>
|
||||
<pkg path="mixer" info="audio mixer"/>
|
||||
<pkg path="terminal" info="graphical terminal"/>
|
||||
<pkg path="gdb_x86" info="GNU debugger" arch="x86_64"/>
|
||||
</index>
|
||||
|
||||
<index name="Demos">
|
||||
|
Loading…
Reference in New Issue
Block a user