Simple (green) threads for UEFI - View it on GitHub