#define PLATFORM "UEFI" #define DATE "Fri Dec 22 01:23:45 PDT 2017" const char *compiler_flags = "compiler: information not available from edk2";