Hi Folks, I have a TP755CX and have Linux 1.2.13 installed. I got a boot message: "No BIOS32 extension present. This release still depends on it. Sorry." This message did not cause any problem, as far as I can tell. Anybody had the same experience? and anybody know why? -William Ng NSC