@John: that sounds like a bug in the intel driver then. Please attach your /var/log/Xorg.0.log and /var/log/Xorg.0.log.old after reproducing the problem.
@Keith: I think the main problem there is that we have to re-enable the disabled GPU on shutdown in order to avoid problems with the BIOS. This is why two GPUs are detected on boot. I'll think of a workaround. As for test-case 2), I'll look into that, as gpu-manager always says in the log when it is removing or renaming the xorg.conf (and the log shows no trace of it).
@John: that sounds like a bug in the intel driver then. Please attach your /var/log/Xorg.0.log and /var/log/ Xorg.0. log.old after reproducing the problem.
@Keith: I think the main problem there is that we have to re-enable the disabled GPU on shutdown in order to avoid problems with the BIOS. This is why two GPUs are detected on boot. I'll think of a workaround. As for test-case 2), I'll look into that, as gpu-manager always says in the log when it is removing or renaming the xorg.conf (and the log shows no trace of it).