blob: ddcb1bb000e955c0ad3c0cc7f4014a7842b5cf5a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
/* SPDX-License-Identifier: GPL-2.0-only */
#include <device/device.h>
#include <soc/bl31.h>
#include <soc/msdc.h>
#include <soc/usb.h>
#include "gpio.h"
static void mainboard_init(struct device *dev)
{
mtk_msdc_configure_emmc(true);
mtk_msdc_configure_sdcard();
setup_usb_host();
if (CONFIG(ARM64_USE_ARM_TRUSTED_FIRMWARE))
register_reset_to_bl31(GPIO_AP_EC_WARM_RST_REQ.id, true);
}
static void mainboard_enable(struct device *dev)
{
dev->ops->init = &mainboard_init;
}
struct chip_operations mainboard_ops = {
.name = CONFIG_MAINBOARD_PART_NUMBER,
.enable_dev = mainboard_enable,
};
|
