On Wed, 2012-10-24 at 15:57 +0200, Alexander Volovics wrote:
However when I 'restart' (from the menu or 'shutdown -r now') this does not work: 'bbswitch' can't find the discrete VGA device! And consequently it is not loaded.
Any BIOS options regarding resetting video hardware upon resume, or similar?