drivers/pc80/Kconfig: Do not init PS/2 keyboard if SeaBIOS is chosen as payload
tree434430a2e4133089c968e52e6d9507172099de29
-rw-r--r-- 1926 .gitignore
-rw-r--r-- 91 .gitmodules
-rw-r--r-- 83 .gitreview
m--------- - 3rdparty
-rw-r--r-- 17987 COPYING
-rw-r--r-- 9834 Makefile
-rw-r--r-- 17024 Makefile.inc
-rw-r--r-- 2998 README
drwxr-xr-x - documentation
drwxr-xr-x - payloads
drwxr-xr-x - src
drwxr-xr-x - util