In message [ref] you wrote:
However when I do a meke xconfig I do not see any option like "RTLinux kernel
extension" in platform support.
"make xconfig" is broken. Use "make menuconfig" instead.
Wolfgang Denk
--
Software Engineering: Embedded and Realtime Systems, Embedded Linux
Phone: (+49)-8142-4596-87 Fax: (+49)-8142-4596-88 Email: wd@denx.de
The human mind ordinarily operates at only ten percent of its
capacity. The rest is overhead for the operating system.
** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/