include/timers_rtai/timerscfg.h
changeset 472 4f5cb68098cf
parent 454 bc000083297a