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