History log of /seL4-refos-master/libs/librefos/include/refos/refos.h
Revision Date Author Comments
# 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.
# 33b79dca 02-Dec-2015 Addo Wondo <addo.wondo@nicta.com.au>

Small changes/updates to refos to make refos compile.

Using public release of seL4, version 2.0.
# 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.