#
36bda880 |
|
27-Sep-2016 |
Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au> |
add libsel4debug to RefOS because it is now required
|
#
8bf86106 |
|
15-Sep-2016 |
Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au> |
replace reference to libsel4simple-stable with libsel4simple-default as libsel4simple-stable is now deprecated
|
#
0800a289 |
|
29-Aug-2016 |
Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au> |
change copyright headers from NICTA to Data61/CSIRO
|
#
365fe665 |
|
25-Feb-2016 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Update Kconfig
|
#
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.
|