I've just added a new section Linux containing a page on how to build the latest NVidia driver 295.20 with an 2.6.33.7.2-rt30 kernel. This could be interesting for everyone who wants to use NVidia graphics cards in real-time scenarios.