Lenovo ideapad 710S-13IKB bios/boot issue

[Gabor Szabo]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.huji.ac.il/pipermail/linux-il/attachments/20200429/5c8aa667/attachment.html>