mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +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
Default Sculpt distribution for PC platforms