/* 
 | 
 * Copyright (c) 2011 The Chromium OS Authors. 
 | 
 * (C) Copyright 2008 
 | 
 * Graeme Russ, graeme.russ@gmail.com. 
 | 
 * 
 | 
 * SPDX-License-Identifier:    GPL-2.0+ 
 | 
 */ 
 | 
  
 | 
/* 
 | 
 * board/config.h - configuration options, board specific 
 | 
 */ 
 | 
  
 | 
#ifndef __CONFIG_H 
 | 
#define __CONFIG_H 
 | 
  
 | 
#include <configs/x86-common.h> 
 | 
#include <configs/x86-chromebook.h> 
 | 
  
 | 
#undef CONFIG_STD_DEVICES_SETTINGS 
 | 
#define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,i8042-kbd,serial\0" \ 
 | 
                    "stdout=vidconsole,serial\0" \ 
 | 
                    "stderr=vidconsole,serial\0" 
 | 
  
 | 
#define CONFIG_ENV_SECT_SIZE        0x1000 
 | 
#define CONFIG_ENV_OFFSET        0x003f8000 
 | 
  
 | 
#endif    /* __CONFIG_H */ 
 |