8l

it actually booted, cp real_linux.config linux.config cp -R out/\* /mnt/ grub-mkconfig -o grub.cfg

pure64, tccboot could be the option, but pure64 is still fat16. so tccboot.. http://bellard.org/tcc/tccboot.html