Oh wow, that's a name I haven't heard since I used to frequent the OSDev forums. I had no idea it was still in development. I recall using Pure64 (BareMetal OS's bootloader) to load my own hobby kernel for a while, in between using GRUB2, and writing my own bootloader.