History log of /seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ipc_state.h
Revision Date Author Comments
# bccd44f6 20-Nov-2016 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Update for ia32 IPC buffer gs to fs switch
# 0800a289 29-Aug-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

change copyright headers from NICTA to Data61/CSIRO
# 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.