Installing rtlinux on mpc860 board

Wolfgang Denk wd at
Wed Aug 8 20:45:04 EST 2001

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

More information about the Linuxppc-embedded mailing list