Stefan Kalkowski b88959f60c sculpt: use pc_platform_drv instead of generic one ...

Ref genodelabs/genode#4578

2022-10-12 12:09:36 +02:00

..

api

depot: update recipe hashes

2022-09-21 12:19:10 +02:00

pkg

sculpt: use pc_platform_drv instead of generic one

2022-10-12 12:09:36 +02:00

raw

drivers_nic-pc: use generic platform_drv

2022-10-12 12:09:33 +02:00

src

depot: update recipe hashes

2022-09-21 12:19:10 +02:00