> 1. Creation of /usr/lib/realtime/include and population with header
> files.
>
> Currently, RTAI/RTLinux neutral projects (like RTnet and Comedi)
> don't have an adequate place to install header files for compilation
> with kernel modules. /usr/include is not appropriate, because it
How about /usr/local/include/realtime/ ?
/usr (except /usr/local) is the location of 'standard' packages.
Usually /usr and /usr/local are different filesystems and
OS upgrade affects /usr only. Local enhancements are to be located
in /usr/local.
Regards
Gabor
-- [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/
