message("## Configuring for UEFI platform")

set(ARCH x86_64 CACHE FORCE "arch set by platform uefi.cmake")

# uefi - core2duo or later, 64 bit, using uefi bootloader, gpt partition tables and all that

