Ah, right.
I might then remove the old one. I look into it a bit later. What’s the main benefit by having two kernels installed at the same time? Would one serve as a backup should one fail?
EDIT: Done. Thanks for the tip.
And my application did start using my NVIDIA card when I started it with prime-run application. So that’s great, but I think I would prefer activating my NVIDIA card permanently.
On a side note. I have a Win10 install on VirtualBox (and I also have tried Virt Manager). Those run very very slow. I appreciate that there may be multiple variables involved, but could the graphic drivers be the reasons?
EDIT2: prime-run virtualbox gave a massive performance boost!