These examples were developed only for testing purposes. They do not intend to be exhaustive nor didactic. Some examples require RTL POSIX tracing to be installed. You can download it from: http://bernia.disca.upv.es/rtportal/apps/trace/ If you do not have the tracing installed the you will be able to compile the examples, but some of them will fail to be loaded due to some missing symbols. The affected examples are: dynamic_prior/dyn_prior.adb dynamic_prior/dyn_prior_po.adb dynamic_prior/prior1task.adb dynamic_prior/prior6tasks.adb dynamic_prior/self_dyn_prior.adb protobj/protobj.adb tasks/tasks.adb tracer/tracer.adb For your information, there exists a graphical tool, called Kiwi, that displays the trace files generated by RTL POSIX Tracing. This tool will eventually be available at the RTLinux portal: http://bernia.disca.upv.es/rtportal