run

A tutorial on RT-Linux

#!/bin/sh

echo loading RT Linux if needed...
../insrtl || exit 1

echo loading RT task...
rmmod isr_task 2> /dev/null
insmod isr_task.o || exit 1

echo short pin 10 to pin 25 and generate some interrupts...
./isr_app &

sleep 10

kill -INT $!

echo removing RT task...
rmmod isr_task

echo done

exit 0