mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2024-11-29 04:21:26 +01:00
4 lines
123 B
C
4 lines
123 B
C
/* File in public domain */
|
|
/* Brings in the glue for UEFI/EDK2 Tianocore code to run on this OS */
|
|
#include "efi-osdep.h"
|