For RTLinux you should grab our pre-patched kernel source in the
/pub/rtlinux/v3/ directory along with the RTLinux distribution.  If you
want the latest up-to-date and building PPC kernel take a look at the
Linux/PPC kernel page at www.fsmlabs.com/linuxppcbk.html
-- [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/

Reply via email to