/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright (C) 2017, Bin Meng <bmeng.cn@gmail.com>
 */

#include <env/x86.env>

/* don't use i8042-kbd */
stdin=serial,usbkbd