#
e9a9ff4f |
|
18-Jul-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
Trivial: Style fix make the style checker happy
|
#
e23dc54b |
|
19-May-2019 |
Yu Hou <Yu.Hou@data61.csiro.au> |
seL4_libs: remove autoconf.h from seL4_libs this commit removes autoconf.h generation from each lib and append '#include <<lib_name>/gen_config.h>' after each '#include <autoconf.h>' since autoconf.h is only the for the kernel config now. This is a temporarily solution, since we currently don't have a way to tell which header files each file is trying to include when it includes 'autoconf.h'
|
#
9214341c |
|
04-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses
|
#
c8db8cb6 |
|
08-Dec-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
libsel4debug: De-frob return addresses before storing. In the majority of our debugging scenarios, return addresses are not frobbed so this has not caused problems in the past. However, technically we should always be extracting the return address before presenting it to the user to avoid confusion. This commit is primarily for portability and has no expected impact on typical usage.
|
#
e4dd97e9 |
|
22-Oct-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
Fix: Explicitly mark unaligned IO in the malloc debugger.
|
#
4351346d |
|
22-Oct-2015 |
Matthew Fernandez <matthew.fernandez@nicta.com.au> |
More portable definition of alignment requirement in the malloc debugger.
|