Cross Reference: default_domain.c
xref
: /
seL4-l4v-10.1.1
/
seL4
/
src
/
config
/
default_domain.c
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-10.1.1/seL4/src/config/
History log of
/seL4-l4v-10.1.1/seL4/src/config/default_domain.c
Revision
Date
Author
Comments
#
0ecff9f3
09-Nov-2015
Adrian Danis <Adrian.Danis@nicta.com.au>
unsigned int -> word_t
#
91b7da86
17-Jul-2014
TrusthworthySystems <gatekeeper@sel4.systems>
Release snapshot