rtai lightweight specialized kernel ko sched linux
kernel application running basics csf
ipc passing interprocess process
shared memory