mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
85e020b8e1
The former pkg/drivers_managed-pc has been replaced by the pkg/sculpt_drivers-pc, which is merely a collection of archives. Issue #5150
10 lines
156 B
Plaintext
10 lines
156 B
Plaintext
_/pkg/sculpt
|
|
_/pkg/sculpt_drivers-pc
|
|
_/pkg/vbox6
|
|
_/pkg/acpica
|
|
_/pkg/system_clock-pc
|
|
_/pkg/mesa_gpu-intel
|
|
_/pkg/file_vault
|
|
_/pkg/bsd_audio_drv
|
|
_/pkg/gdb_x86
|