coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
post.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <console/console.h>
4 #include <nc_fpga.h>
5 #include <types.h>
6 
7 void mainboard_post(uint8_t value)
8 {
9  nc_fpga_post(value);
10 }
value
pte_t value
Definition: mmu.c:91
mainboard_post
void __weak mainboard_post(uint8_t value)
Definition: post.c:12
nc_fpga.h
nc_fpga_post
void nc_fpga_post(uint8_t value)
Definition: nc_fpga_early.c:41
uint8_t
unsigned char uint8_t
Definition: stdint.h:8