/* SPDX-License-Identifier: GPL-2.0+ */ /* * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> */ #include <env/x86.env> /* use just serial */ stdin=serial stdout=serial stderr=serial