This website requires JavaScript.
Explore
Help
Register
Sign In
denshooter
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/mmueller41/genode.git
synced
2026-01-21 12:32:56 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
847266d027bccf018295b9329a56421d9d81df33
genode
/
repos
/
gems
/
recipes
/
pkg
/
drivers_managed-pc
History
Christian Helmuth
847266d027
depot: update recipe hashes
2022-10-12 14:31:50 +02:00
..
archives
sculpt: use pc_platform_drv instead of generic one
2022-10-12 12:09:36 +02:00
hash
depot: update recipe hashes
2022-10-12 14:31:50 +02:00
README
gems: driver-manager subsystem for PC platforms
2017-10-05 17:40:00 +02:00
README
Device-driver subsystem that starts drivers for framebuffer, input, and block devices on demand