rbraun/x15.git - The X15 microkernel

Age	Commit message (Expand)	Author
2019-08-16	Improve the timer API documentation	Richard Braun
2019-08-16	Complete timer documentation	Richard Braun
2019-08-16	Document the timer API	Richard Braun
2018-06-25	kern/timer: add comment about timer_schedule	Richard Braun
2018-02-24	Don't use reserved identifiers	Richard Braun
2018-02-20	Rework the initialization operations of some kernel modules	Richard Braun
2017-09-01	kern/timer: make timer time reads non atomic	Richard Braun
2017-08-31	kern/timer: improve access synchronization	Richard Braun
2017-08-27	kern/timer: new module	Richard Braun