Installing rtlinux on mpc860 board

[Wolfgang Denk]

In message <3B71157C.D09ED71 at yahoo.com> 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 at 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/