mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 10:38:55 +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 |
||
---|---|---|
.. | ||
depot_download | ||
download_coreplus | ||
drivers_nic-pc | ||
fonts_fs | ||
genode_bg | ||
motif_wm | ||
sticks_blue_backdrop | ||
terminal | ||
themed_wm | ||
touch_keyboard | ||
trace_recorder | ||
window_layouter | ||
wm |