| #
60e15d47 |
|
04-Oct-2016 |
Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au> |
add RefOS system call table and __vsyscall_ptr so that processes that RefOS creates know where their system call table is
|
| #
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.
|