include/timers_rtai/timerscfg.h
changeset 805 570e3a444023
parent 454 bc000083297a