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