mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
a036d2373a
Especially the initial reset ended up with an unusable keyboard in rare cases before. This commit disables keyboard and mouse handling of i8042 during command sequences according to a note from https://www.win.tue.nl/~aeb/linux/kbd/scancodes-12.html
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.