seL4/src
Kent McLeod 78c8ac9fae tx2: use declare_default_headers
- remove unused header files replaced by declare_default_headers
2019-04-12 14:25:58 +10:00
..
api style: set code width to 120 2019-03-19 14:05:44 +11:00
arch cmake: add declare_default_headers 2019-04-12 14:25:53 +10:00
benchmark style: set code width to 120 2019-03-19 14:05:44 +11:00
config unsigned int -> word_t 2015-12-10 10:45:21 +11:00
drivers style: use consistent styling for all cmake files 2019-03-22 11:52:06 +11:00
fastpath style: set min-conditional-indent to 0 2019-03-19 14:05:44 +11:00
kernel style: set code width to 120 2019-03-19 14:05:44 +11:00
machine style: consistently attach return type 2019-03-19 14:05:36 +11:00
model style: consistently attach return type 2019-03-19 14:05:36 +11:00
object Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
plat tx2: use declare_default_headers 2019-04-12 14:25:58 +10:00
smp style: consistently attach return type 2019-03-19 14:05:36 +11:00
assert.c style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
config.cmake style: use consistent styling for all cmake files 2019-03-22 11:52:06 +11:00
inlines.c SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
string.c Expose string functions in all builds 2018-04-18 10:10:14 +10:00
util.c style: consistently attach return type 2019-03-19 14:05:36 +11:00