#ifndef __CONFIG_H_
#define __CONFIG_H_
+#ifdef __MAKEWITH_GNUEFI
#include "efi.h"
+#else
+#include "../include/tiano_includes.h"
+#endif
#include "global.h"
//
CHAR16 *End16Ptr;
} REFIT_FILE;
-#define DISABLE_FLAG_BANNER (0x0001)
-#define DISABLE_FLAG_LABEL (0x0002)
-#define DISABLE_FLAG_SINGLEUSER (0x0004)
-#define DISABLE_FLAG_HWTEST (0x0008)
-#define DISABLE_FLAG_ARROWS (0x0010)
-#define DISABLE_ALL ((0xffff))
+#define HIDEUI_FLAG_BANNER (0x0001)
+#define HIDEUI_FLAG_LABEL (0x0002)
+#define HIDEUI_FLAG_SINGLEUSER (0x0004)
+#define HIDEUI_FLAG_HWTEST (0x0008)
+#define HIDEUI_FLAG_ARROWS (0x0010)
+#define HIDEUI_ALL ((0xffff))
VOID ReadConfig(VOID);
VOID ScanUserConfigured(VOID);