I can not use echo DIS > /sys/kernel/debug/vgaswitcheroo/switch to switch to discrete ATI card. After I run the command, cat /sys/kernel/debug/vgaswitcheroo/switch still gives:
0:IGD:+:Pwr:0000:00:02.0
1:DIS: :Pwr:0000:01:00.0
I use Ubuntu 11.10 amd64 arch in Lenovo Thinkpad W500. What is the matter?