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

remove call to refos_init_timer() when initialising the timer server


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

modify how selfloader bootstraps processes to accommodate switch to musllibc


# a1ed3791 13-Sep-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

remove SET_MUSLC_SYSCALL_TABLE API since musllibc does not support it


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

change copyright headers from NICTA to Data61/CSIRO


# c657aa97 07-Dec-2015 Addo Wondo <addo.wondo@nicta.com.au>

SeL4 2.0 API changes.


# 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.