Installing the 32bit libraries was a pain, in ubuntu 13.10 ia32-lib is no longer supported, so it can't be installed directly in the terminal. You can work around it here: http://ubuntuforums.org/showthread.php?t=2182653 Installed that, KSP.x86 now runs, but does the same as KSP.x86_64 did; boot, load, fly, crash, revert, CTD. http://pastebin.com/RTcqFdqX (KSP.log)