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