include/timers_rtai/timerscfg.h
changeset 774 91d708a2cb4e
parent 454 bc000083297a