History log of /seL4-refos-master/projects/refos/impl/apps/timer_server/src/device_timer.c
Revision Date Author Comments
# 0ef8a6e3 10-Oct-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

modify how RefOS prints the time because the old way does not work with musllibc as locales are not supported in RefOS


# f3ad64d1 06-Oct-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

fix timer sleep so that timer writes the correct value (8 instead of 4) to the stack when it gives control back to the sleeping process


# 0800a289 29-Aug-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

change copyright headers from NICTA to Data61/CSIRO


# 9c3400d4 02-Mar-2015 Tim Newsham <tim.newsham@gmail.com>

- add 335x support to refos


# 6d640054 23-Oct-2014 Xi Ma Chen <xima.chen@nicta.com.au>

[snapshot] RefOS release shapshot v2.0.

This is the release snapshot for RefOS v2.0.