On Sun, 2012-07-29 at 01:42 +0100, David Woodhouse wrote:
> If I don't hack it to switch the mux to IGD at boot time, I never manage
> to get a sane picture out of the Intel device after switching to it.
> It's late now, but I'll try to get a proper debug log of the working and
> failing cases tomorrow. 

From the hacked kernel (after fixing vga_switcheroo_enable() not to do:
		event.info = client->fb_info;
 		fb_notifier_call_chain(FB_EVENT_REMAP_ALL_CONSOLE, &event);
if client->fb_info is NULL)...

http://david.woodhou.se/dmesg-boot-to-IGD (blank screen)
http://david.woodhou.se/dmesg-boot-to-IGD-and-switch-to-DIS (works)
http://david.woodhou.se/dmesg-boot-to-IGD-and-switch-to-DIS-and-back-to-IGD (works)

Without switching to IGD at startup...

http://david.woodhou.se/dmesg-boot-to-DIS (works)
http://david.woodhou.se/dmesg-boot-to-DIS-then-switch-to-IGD (blank)

-- 
dwmw2
[unhandled content-type:application/x-pkcs7-signature]