Currently I'm planning on using POSIX-UEFI for one of the versions of #FoundationOS , but after hearing more about IncludeOS, I'm considering targeting that first. (Interesting project -- you put `#include <os>` at the top of a C++ program, and it's an OS. More or less :)
@golemwire.com