So for now, I have ordered a CD with Trisquel 7 from OSDisc.
This is the Korora Laptop for more information (https://www.thinkpenguin.com/gnu-linux/korora-penguin-gnu-linux-notebook). I tried the solution offered in another thread, and it still didn't work (https://trisquel.info/en/forum/live-usb-made-dd-not-booting-korora-laptop#comment-80572).
Any suggestions?
