History log of /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/proc_syscall.c
Revision Date Author Comments
# 5dd4c52b 04-Oct-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

change vka_alloc_async_endpoint() to vka_alloc_notification() because vka_alloc_async_endpoint() is deprecated


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

change copyright headers from NICTA to Data61/CSIRO


# df71e090 10-Aug-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

changed KOBJECT_ENDPOINT_SYNC to KOBJECT_ENDPOINT and KOBJECT_ENDPOINT_ASYNC to KOBJECT_NOTIFICATION to reflect external 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.