Updated the main system (x86_64) to kernel 3.8.4, and (incrementally..) updated the Raspberry Pi (armv6), as well.. Latest VMware (9.02) and NVIDIA (313.26 and 310.40) drivers all compile without any patches.. Precise details here:  https://www.kernel.org/pub/linux/kernel/v3.x/ChangeLog-3.8.4 # uname -a Linux rglinux 3.8.4 #1 SMP Thu Mar 21 02:03:44 GMT 2013 x86_64 x86_64 x86_64 GNU/Linux ‘Incremental’ patch from 3.8.3 … Continue reading →