#
ae0937a0 |
|
03-May-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add unverified_compile_assert This version of compile_assert is not expanded during verification builds and can be used in cases where you would like an assertion that contains syntax that is not supported by the C parser
|
#
52834951 |
|
03-May-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Add missing include in assert.h
|
#
0abc7202 |
|
04-Apr-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
s/DEBUG/CONFIG_DEBUG_BUILD/ DEBUG definition is not supposed to be used in the kernel, rather CONFIG_DEBUG_BUILD, which can be toggled separately to user notion of DEBUG
|
#
4db6ec7a |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Always have compile_assert enabled A compile assert has no runtime or image size overhead and so there is no reason to not have them enabled This commit addresses SELFOUR-289
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|