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