[rtl] RTLinux symbols in kernel

[erwin.verhulst@philips.com]

Hallo,

I've just installed rtlinux for kernel 2.0.36. When I check the number of rtl symbols in the kernel with,

/sbin/ksyms -a | grep " "rt_ | wc -l, I get the number 5. I 've read an article where it's says that the number has to be 7.
Is something wrong with the installation of rtlinux, or does it work anyway.

If not, how can I check which symbols are missing and how can I insert them in the kernel.

Can somebody give me an answer to this.

Thanks

Greetings Erwin, NL
--- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail majordomo@rtlinux.cs.nmt.edu OR
echo "unsubscribe rtl <Your_email>" | mail majordomo@rtlinux.cs.nmt.edu
----
For more information on Real-Time Linux see:
http://www.rtlinux.org/~rtlinux/