buildinf.h

#define PLATFORM  "UEFI"
#define DATE      "Fri Dec 22 01:23:45 PDT 2017"
 
extern const char  *compiler_flags;