2017-05-23 05:35:16 +02:00
|
|
|
/*
|
|
|
|
* This file is part of the coreboot project.
|
|
|
|
*
|
|
|
|
* Copyright (C) 2015-2016 Advanced Micro Devices, Inc.
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation; version 2 of the License.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <AGESA.h>
|
|
|
|
#include <BiosCallOuts.h>
|
|
|
|
#include <FchPlatform.h>
|
2017-08-08 03:08:24 +02:00
|
|
|
#include <soc/southbridge.h>
|
2017-05-23 05:35:16 +02:00
|
|
|
#include <stdlib.h>
|
2017-11-11 23:22:55 +01:00
|
|
|
#include <baseboard/variants.h>
|
2017-07-26 02:55:44 +02:00
|
|
|
|
2017-10-23 19:34:29 +02:00
|
|
|
void platform_FchParams_reset(FCH_RESET_DATA_BLOCK *FchParams_reset)
|
|
|
|
{
|
2017-11-11 23:22:55 +01:00
|
|
|
FchParams_reset->EarlyOemGpioTable = (void *)get_gpio_table();
|
2017-10-23 19:34:29 +02:00
|
|
|
}
|
|
|
|
|
2017-10-02 21:46:50 +02:00
|
|
|
void platform_FchParams_env(FCH_DATA_BLOCK *FchParams_env)
|
2017-05-23 05:35:16 +02:00
|
|
|
{
|
2017-11-11 23:22:55 +01:00
|
|
|
FchParams_env->PostOemGpioTable = (void *)get_gpio_table();
|
2017-05-23 05:35:16 +02:00
|
|
|
|
2017-10-02 21:46:50 +02:00
|
|
|
/* SDHCI/MMC configuration */
|
2017-10-23 19:29:35 +02:00
|
|
|
if (IS_ENABLED(CONFIG_BOARD_GOOGLE_KAHLEE))
|
|
|
|
FchParams_env->Sd.SdSlotType = 1; // EMMC
|
2017-05-23 05:35:16 +02:00
|
|
|
}
|