Am Freitag, 9. Juni 2023, 18:37:14 CEST schrieb Stefan Monnier:
Hi Stefan,
this might e a problem of your BIOS. However, if your BIOS does not support booting from USB, here is a trick:
You can download a bootable CD-Rom from this site:
Look for the Bootmgr. It is a live-cd., which is booting, then you can chose further boot from another media like USB.
It helps, whenever your BIOS does not have the capability (i.e. it is too old), to boot from USB.
Hope this helps.
Good luck!
Best
Hans