/* Dummy windows.h for Duktape compatibility in EFI */
#ifndef WINDOWS_H
#define WINDOWS_H

#ifndef MDE_CPU_X64
#define MDE_CPU_X64
#endif

#include <Uefi.h>

#endif