That is the one that I tried thismorning.
It has kernel 3.4.something and I'm not smart enough to upgrade it to a
newer kernel.
G.
I think that it's because you took the 64bit version. The 32 bit version is the one I
have downloaded in November and it has the kernel version I said. I booted it in
VirtualBox to check the version number in the TDE Control Center.
-Alexandre