/* 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