1 /* SPDX-License-Identifier: GPL-2.0-only */
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
)
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
,