In the end I created a USB with Ubuntu 20.04 and installed it in the empty partition that was already set aside for Linux. This configured grub so it now has a menu in which I can select either Windows or Linux. It also changed the BIOS so now I have a bootable entry for Windows as well as for ubuntu. The former gets me in Windows directly, the latter show the grub menu.
All that after changing the disk from RAID to AHCI in the BIOS. Thank you all for your help! Gabor ps. The camera still does not work, but it does not work in Linux either. So maybe it was already broken when I bought the computer second-hand. Now I'll need to find and buy a small camera that can be attached to it.
_______________________________________________ Linux-il mailing list Linux-il@cs.huji.ac.il http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il
