ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
f4d3231034
genode/repos/dde_zircon
History
Alexander Boettcher 7acc34b48b dde_zircon: use Mutex 
Fixes #3805
2020-07-13 11:33:12 +02:00
..
lib dde_zircon: add pc-ps2 driver 2018-08-28 16:45:26 +02:00
ports dde_zircon: use fork by jklmnn 2019-11-19 14:23:56 +01:00
run Move timer from os to base repository 2019-01-14 12:33:57 +01:00
src dde_zircon: use Mutex 2020-07-13 11:33:12 +02:00
README dde_zircon: add pc-ps2 driver 2018-08-28 16:45:26 +02:00

README 

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.