#ifndef __CONFIG_H_
#define __CONFIG_H_
+#ifdef __MAKEWITH_GNUEFI
#include "efi.h"
+#else
+#include "../include/tiano_includes.h"
+#endif
#include "global.h"
//
#define HIDEUI_FLAG_ARROWS (0x0010)
#define HIDEUI_ALL ((0xffff))
+EFI_STATUS ReadFile(IN EFI_FILE_HANDLE BaseDir, CHAR16 *FileName, REFIT_FILE *File, UINTN *size);
VOID ReadConfig(VOID);
VOID ScanUserConfigured(VOID);
UINTN ReadTokenLine(IN REFIT_FILE *File, OUT CHAR16 ***TokenList);