Updated to Kernel 3.19-rc6 on the test system, and – at last – the problem with NVIDIA driver GPL inconsistency has been fixed, and now driver 346.35 compiles and loads OK..

Details of changes since -rc5 are here:   http://lkml.iu.edu/hypermail/linux/kernel/1501.3/00776.html

And the important change is that /arch/x86/mm/init.c now has EXPORT_SYMBOL(__cachemode2pte_tbl) instead of EXPORT_SYMBOL_GPL(__cachemode2pte_tbl)..etc..

VMware 11 – with the vmnet changes mentioned in a previous post (http://rglinuxtech.com/?p=1281) compiles and loads/runs OK..

Robert Gadsdon.   January 26, 2015.