Files
genode/repos/dde_zircon/README
Johannes Kliemann 3b3e155c79 dde_zircon: add pc-ps2 driver
Fixes #2926
2018-08-28 16:45:26 +02:00

15 lines
365 B
Plaintext

Device drivers ported from the Zircon kernel
zircon.lib.so
#############
The zircon.lib.so provides the interfacing between Genode and Zircon APIs.
It is meant to be extended if required and is required by any Zircon driver.
PS2
###
The zx_pc_ps2_drv can be used as a drop in replacement of the
ps2_drv. Its RAM resources needs to be increased to at least 2M.