Pure64 also is proprietary :(
Is BareMetal bootable via GRUB?
Is BareMetal bootable via GRUB?
They mean proprietary in the sense of "we built one ourselves". You can download source from the links at the bottom of the page: http://www.returninfinity.com/pure64.html