coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mainboard.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <console/console.h>
4 #include <device/device.h>
7 
8 static void mainboard_enable(struct device *dev)
9 {
10  printk(BIOS_DEBUG, "Memory voltage: %s\n",
11  get_gpio(8) ? "1.35V" : "1.5V");
12  printk(BIOS_DEBUG, "BIOS_CFG jumper: %s\n",
13  get_gpio(22) ? "normal (1-2)" : "setup (2-3)");
14  printk(BIOS_DEBUG, "mSATA: %s\n",
15  get_gpio(35) ? "present" : "absent");
16 
20 }
21 
24 };
struct chip_operations mainboard_ops
Definition: mainboard.c:19
#define printk(level,...)
Definition: stdlib.h:16
void install_intel_vga_int15_handler(int active_lfp_, int pfit_, int display_, int panel_type_)
Definition: int15.c:101
@ GMA_INT15_BOOT_DISPLAY_DEFAULT
Definition: int15.h:6
@ GMA_INT15_ACTIVE_LFP_NONE
Definition: int15.h:24
@ GMA_INT15_PANEL_FIT_DEFAULT
Definition: int15.h:17
int get_gpio(int community_base, int pad0_offset)
Definition: gpio_support.c:148
static void mainboard_enable(struct device *dev)
Definition: mainboard.c:8
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
Definition: loglevel.h:128
void(* enable_dev)(struct device *dev)
Definition: device.h:24
Definition: device.h:107