> > It also has mangled symbol names. Is there a way to load third-party > modules into the secure kernel (like the NVidia drivers)? I could only get > them to work with the plain kernel.
Compile them for kernel-secure. If you boot with kernel-secure and compile your modules they will be compiled for it. Unless you have already messed up your kernel-source -andrej
