Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4
/* File in public domain */ /* Brings in the glue for UEFI/EDK2 Tianocore code to run on this OS */ /* $FreeBSD$ */ #include "efi-osdep.h"