genode/repos/os/recipes
Norman Feske b7bb6869b4 drivers_interactive-pc: remove platform service
The platform driver should better stay internal to the drivers subsystem
to reinforce the consistency with other drivers_interactive packages.
2021-10-13 14:45:24 +02:00
..
api depot: update recipe hashes 2021-08-30 15:00:39 +02:00
pkg depot: update recipe hashes 2021-08-30 15:00:39 +02:00
raw drivers_interactive-pc: remove platform service 2021-10-13 14:45:24 +02:00
src depot: update recipe hashes 2021-08-30 15:00:39 +02:00