I notice that the kernel source tree included in the PSP 1.30 allows for the kernel to be built with complete (real-time) preemption. However, I want to think that I read somewhere that the DaVinci drivers don't support this mode of kernel operation but I can't seem to find where I read this. Can anyone verify that enabling real-time kernel operation will not break DaVinci drivers (VPBE, CCDC, Resizer, serial, ethernet, etc) ?