On Thu, 04 Dec 2014 21:39:08 -0800 Jimmy Johnson <field.engineer@gmail.com> wrote: > As mentioned earlier, your machine is currently not using EFI. I missed that -- and how do I know that for sure? Is it possible that it's trying to use EFI, but my debian install is trying to do something not-EFI-compatible, and that's why it won't boot?