A new version of ExTiX 9 x64 with kernel 3.2.0-17_amd64-exton (kernel 3.2.7) is ready. This kernel is better than “my” previous kernels. Now you can install packages, which normally need full kernel sources. For example VirtualBox. I have also installed the latest version of Vlc Universal Media Player ( 2.0 Twoflowers) and even better firmware for HP laptops with Broadcom wireless cards. All programs have been updated to the latest available stable version as of 29 February 2012 >> see a complete list.