ThinkPad X240 で 64 bit guest を使う

2014/5/7
Original: http://blog.osyoyu.com/2014/05/using-64-bit-guests-on-thinkpad-x240/

ThinkPad X240 に VirtualBox を突っ込んだら Guest Types のリストに (x86) しか現れなかったので。

このX240はカスタマイズして i7-4600u なので、VT-xもVT-dも対応してるのに、デフォでは両方とも無効な模様。残念すぎる。
UEFI の設定画面で Security > Virtualization で設定項目を両方 Enabled にする。おわり。