I'm reading this page.
Regarding this statement
vga_switcheroo is the kernel mechanism that allows you to switch between GPUs if your machine has a hardware mux.
- Does this mean manual or live switching (i.e. automatic)
- How to know if I have hardware mux ? (My machine is Dell Inspiron SE 7520)
Note that this method is not supported by all machines and only works if you are using the opensource driver (nouveau, radeon) and not the proprietary ones (nvidia, fglrx).
- I'm not sure which is which of what I can chose from the Available Drivers tab (i.e. please check the the picture below)
I need to resolve the mentioned questions before proceeding further with the guide.