[rtl] platform

[Till Wille]

Dear listeners,
hopefully this is an easy one, although
i searched for an answer on several linked
pages: are mpc860/mpc8260 suitable platforms
for rtlinux or,in general, which platforms
are already supported? if there is an answer,
please let me know.
--- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
----
For more information on Real-Time Linux see:
http://www.rtlinux.org/~rtlinux/