coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
psp.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <smp/node.h>
4 
5 int boot_cpu(void)
6 {
7  return 1;
8 }
boot_cpu
int boot_cpu(void)
Definition: psp.c:5