Philippe Gerum Mon, 03 Jan 2005 23:00:17 +0100
Rename /proc/rtai/rthal to /proc/rtai/hal
Generated by cvsreport 0.3.5-cvs