1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <baseboard/variants.h>
6 #include <console/console.h>
7 #include <device/device.h>
12 #include <variant/ec.h>
13 #include <variant/gpio.h>
15 static void mainboard_init(void *chip_info
)
18 const struct pad_config
*pads
;
22 printk(BIOS_INFO
, "Board ID: %d\n", boardid
);
24 pads
= variant_gpio_table(&num
);
25 gpio_configure_pads(pads
, num
);
30 static unsigned long mainboard_write_acpi_tables(
31 const struct device
*device
, unsigned long current
, acpi_rsdp_t
*rsdp
)
44 variant_nhlt_init(nhlt
);
46 end_addr
= nhlt_soc_serialize(nhlt
, start_addr
);
48 if (end_addr
!= start_addr
)
49 acpi_add_table(rsdp
, (void *)start_addr
);
54 static void mainboard_enable(struct device
*dev
)
56 dev
->ops
->write_acpi_tables
= mainboard_write_acpi_tables
;
59 struct chip_operations mainboard_ops
= {
60 .init
= mainboard_init
,
61 .enable_dev
= mainboard_enable
,