>>>>> On Wed, 16 Nov 2016 12:46:37 -0800, Afif Elghraoui <aelghra...@sdsu.edu>
>>>>> said:
> Thanks. That resolves that problem. However, I've also been getting
> FATAL: INT18: BOOT FAILURE when trying to boot from disk after the
> installation. I tried replacing scripts/GRUB_PC/10-setup with the one
> from the current git, but that doesn't fix it. Do you know what could be
> triggering this now?
You should do a complete diff of the new config space with
yours. Maybe some other things are missing.
--
regards Thomas
