blob: 89e1849fa83a199a4abf4cb7726d3f43759b39be [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0+ */
/*
* Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
*/
#include <env/x86.env>
/* don't use i8042-kbd */
stdin=serial,usbkbd