On Fri, Dec 15, 2017 at 11:09:45AM +0100, Stef van Os wrote: > The following patch adds support for multiple usb keyboards and mice to seabios. > Maximum number of keyboards is configurable in Kconfig and defaults to 1 to keep > current behavior. Thanks. What's the use case for enabling multiple keyboards? -Kevin