payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / roda / rk9 / mainboard.c
blob8f157303e6616953e1a2902e5aa3c560ac7f5399
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <arch/io.h>
4 #include <device/device.h>
5 #include <drivers/intel/gma/int15.h>
6 #include <pc80/keyboard.h>
7 #include <ec/acpi/ec.h>
9 static void ec_setup(void)
11 /* Thermal limits? Values are from ectool's RAM dump. */
12 ec_write(0xd1, 0x57); /* CPUH */
13 ec_write(0xd2, 0xc9); /* CPUL */
14 ec_write(0xd4, 0x64); /* SYSH */
15 ec_write(0xd5, 0xc9); /* SYSL */
17 send_ec_command(0x04); /* Set_SMI_Enable */
18 send_ec_command(0xab); /* Set_ACPI_Disable */
19 send_ec_command(0xac); /* Clr_SYS_Flag? well, why not? */
20 send_ec_command(0xad); /* Set_Thml_Value */
23 static void mainboard_enable(struct device *dev)
25 ec_setup();
26 /* LCD panel type is SIO GPIO40-43.
27 It's controlled by a DIP switch but was always
28 set to 4 while only values of 5 and 6 worked. */
29 install_intel_vga_int15_handler(GMA_INT15_ACTIVE_LFP_INT_LVDS, GMA_INT15_PANEL_FIT_CENTERING, GMA_INT15_BOOT_DISPLAY_DEFAULT, (inb(0x60f) & 0x0f) + 1);
31 /* We have no driver for the embedded controller since the firmware
32 does most of the job. Hence, initialize keyboards here. */
33 pc_keyboard_init(NO_AUX_DEVICE);
36 struct chip_operations mainboard_ops = {
37 .enable_dev = mainboard_enable,