So following on from my last post I’v now tried again, this time using Rufus to make my boot USB rather than balena etcher which despite being reccomended is apparently problematic. I also downloaded and verified a fresh install of the cinnamon ISO.
Result is uh…
Failed to open \EFI\BOOT\mmx64.efi - Not Found
Failed to load image (windows symbol): Not Found
Failed to start MokManager: Not Found
Something has gone seriously wrong: import_mok_state() failed: Not Found
This happens when trying to boot from the USB so its actually worse than last time where the demo environment worked but it kept crashing on attempting a proper setup.
PC in question is a small notebook with no discreet GPU to speak of (Intel integrated graphics) that I’ve been hoping to use as a testbed before comiting to Linux on my main PC.___
I’m no expert, but that sounds like a UEFI/BIOS issue. Is your BIOS updated to the latest version? Could also be a secure boot issue. Maybe try turning secure boot off in the BIOS and see if it makes a difference.
No luck with secure boot, gonna see if I can find a bios update for this thing.
Edit: Aaaand Asus no longer offers bios updates for this model.Aww bummer. Sorry I don’t have any better advice :/
Sorry to link to reddit, but have you already tried the suggestions in this thread from a year ago: https://old.reddit.com/r/pop_os/comments/16tf1vl/something_has_gone_seriously_wrong_import_mok/ ?
Large (1920x9750, ~3MB) screenshot for posterity + those who absolutely do not want to access reddit at all: https://files.catbox.moe/mqsdxh.png
Edit: (Related links)
- https://www.linuxquestions.org/questions/linux-newbie-8/ooooy-efi-boot-mmx64-efi-efi-not-found-4175644607/
- https://forums.linuxmint.com/viewtopic.php?t=308137
- https://unix.stackexchange.com/questions/565615/efi-boot-bootx64-efi-vs-efi-ubuntu-grubx64-efi-vs-boot-grub-x86-64-efi-gru/571173#571173
I’d try the “copy
\EFI\BOOT\grubx64.efi
toEFI\BOOT\mmx64.efi
” solution personally and see what happens. If that works, you might just have an obnoxious BIOS on that computer.\EFI\BOOT\grubx64.efi
Can you tell me where to get this? The threads are all written by people who seem to assume the reader already knows what it is and the GNU GRUB website appears to be completely dead with none of the links or pages working except for the introduction one.
Should be on your install media. If I mount linuxmint-22.1-cinnamon-64bit.iso on my computer right now, I see:
EFI/boot/bootia32.efi EFI/boot/bootx64.efi EFI/boot/grubx64.efi
Thank you! this solved it and I am writing this comment from Linux.
Nice! Glad I could help!