RTLinuxの仕組みにとても興味があるのだが。