mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 00:45:29 +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