static int board_setup(void)
{
sysinfo_install_flags();
Exynos5420Gpio *lid_switch = new_exynos5420_gpio_input(GPIO_X, 3, 4);
Exynos5420Gpio *ec_in_rw = new_exynos5420_gpio_input(GPIO_X, 2, 3);
flag_replace(FLAG_LIDSW, &lid_switch->ops);
flag_install(FLAG_ECINRW, &ec_in_rw->ops);
// The power switch is active low and needs to be inverted.
Exynos5420Gpio *power_switch_l =
new_exynos5420_gpio_input(GPIO_X, 1, 2);
flag_replace(FLAG_PWRSW, new_gpio_not(&power_switch_l->ops));
Exynos5UsiI2c *i2c9 = new_exynos5_usi_i2c(0x12e10000, 400000);
tpm_set_ops(&new_slb9635_i2c(&i2c9->ops, 0x20)->base.ops);
Exynos5Spi *spi1 = new_exynos5_spi(0x12d30000);
Exynos5Spi *spi2 = new_exynos5_spi(0x12d40000);
CrosEcSpiBus *cros_ec_spi_bus = new_cros_ec_spi_bus(&spi2->ops);
cros_ec_set_bus(&cros_ec_spi_bus->ops);
flash_set_ops(&new_spi_flash(&spi1->ops, 0x400000)->ops);
Exynos5I2s *i2s0 = new_exynos5_i2s_multi(0x03830000, 16, 2, 256);
I2sSource *i2s_source = new_i2s_source(&i2s0->ops, 48000, 2, 16000);
sound_set_ops(&new_sound_route(&i2s_source->ops)->ops);
DwmciHost *emmc = new_dwmci_host(0x12200000, 100000000, 8, 0,
DWMCI_SET_SAMPLE_CLK(1) |
DWMCI_SET_DRV_CLK(3) |
DWMCI_SET_DIV_RATIO(3));
DwmciHost *sd_card = new_dwmci_host(0x12220000, 100000000, 4, 1,
DWMCI_SET_SAMPLE_CLK(1) |
DWMCI_SET_DRV_CLK(2) |
DWMCI_SET_DIV_RATIO(3));
list_insert_after(&emmc->mmc.ctrlr.list_node,
&fixed_block_dev_controllers);
list_insert_after(&sd_card->mmc.ctrlr.list_node,
&removable_block_dev_controllers);
power_set_ops(&exynos_power_ops);
UsbHostController *usb_drd0 = new_usb_hc(XHCI, 0x12000000);
UsbHostController *usb_drd1 = new_usb_hc(XHCI, 0x12400000);
set_usb_init_callback(usb_drd0, exynos5420_usbss_phy_tune);
/* DRD1 port has no SuperSpeed lines anyway */
list_insert_after(&usb_drd0->list_node, &usb_host_controllers);
list_insert_after(&usb_drd1->list_node, &usb_host_controllers);
return 0;
}
static int board_setup(void)
{
sysinfo_install_flags(NULL);
// Read the current value of the recovery button instead of the
// value passed by coreboot.
LpPchGpio *rec_gpio = new_lp_pch_gpio_input(12);
flag_replace(FLAG_RECSW, new_gpio_not(&rec_gpio->ops));
flash_set_ops(&new_mem_mapped_flash(0xff800000, 0x800000)->ops);
sound_set_ops(&new_pcat_beep()->ops);
AhciCtrlr *ahci = new_ahci_ctrlr(PCI_DEV(0, 31, 2));
list_insert_after(&ahci->ctrlr.list_node, &fixed_block_dev_controllers);
power_set_ops(&pch_power_ops);
tpm_set_ops(&new_lpc_tpm((void *)(uintptr_t)0xfed40000)->ops);
return 0;
}
