ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
538c3a6692
genode/repos/os/recipes
History
Norman Feske 98518e39cd drivers_interactive-pc: increase ps2_drv caps 
This is needed because the added heartbeat monitoring.
2018-11-29 11:54:29 +01:00
..
api depot: update recipe hashes 2018-09-13 15:21:26 +02:00
pkg depot: update recipe hashes 2018-11-16 15:07:53 +01:00
raw drivers_interactive-pc: increase ps2_drv caps 2018-11-29 11:54:29 +01:00
src depot: update recipe hashes 2018-11-16 15:07:53 +01:00