"insrtl" and "rmrtl" not executable

[Ivan Martinez <ex08@kalman.iau.dtu.dk>]

	Hello all,
	When I isntall RTLinux v2.3 "/usr/src/rtlinux-2.3/insrtl" and
"/usr/src/rtlinux-2.3/rmrtl" don't have any execution permissions, so I
have to change them. Something wrong with the installation?.
	Regards,
-- 
Ivan Martinez (Rodriguez)
BEng in Software Engineering - MEng student
http://www.student.dtu.dk/~u990873
"Got fabes?"