Trumpet has an OS called PetrOS, that has a Win32 API layer... apparently it can run NT executables. Hmmm....