1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Copyright (c) 2015 Google, Inc 4 */ 5 6 #ifndef __CONFIG_H 7 #define __CONFIG_H 8 9 #include <configs/x86-common.h> 10 11 #undef CONFIG_TPM_TIS_BASE_ADDRESS 12 13 #define CONFIG_STD_DEVICES_SETTINGS "stdin=usbkbd,vga,serial\0" \ 14 "stdout=vga,serial\0" \ 15 "stderr=vga,serial\0" 16 17 #endif 18
