1 2 3 4 5 6 7 8 9 10 11
/* SPDX-License-Identifier: GPL-2.0+ */ /* * Copyright (C) 2015 Google, Inc */ #include <env/x86.env> /* don't use i8042-kbd */ stdin=usbkbd,serial usb_pgood_delay=40