So I got this weird bug – I updated my Pop_OS install and now Linux doesn’t boot anymore. I should probably boot from USB and fix this. I could figure it out on my own, but maybe it will be good knowledge for people searching on engines so any advice is welcome. Windows still boots properly. Let’s give people some alternatives to reddit :)
That link I gave mentioned a Grub setting for ignoring SGX. Maybe try that after updating your BIOS, if that doesn’t work.