#include <stdint.h> #include <device/pci_def.h> #include <device/pci_ids.h> #include <arch/io.h> #include <device/pnp_def.h> #include <arch/hlt.h> #include <console/console.h> #include <cbfs.h> void main(void) { int i; void uart_init(void); void (*start_address)(); outb(5, 0x80); uart_init(); start_address = cbfs_load_stage("fallback/coreboot_ram"); start_address(); }