#
0064f92a |
|
10-Jan-2018 |
Joel Beeren <joel.beeren@data61.csiro.au> |
x86: declare halt() as DONT_TRANSLATE for verification
|
#
40c61e5c |
|
18-Jun-2017 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
Fix licenses (the rest)
|
#
eccaae51 |
|
20-Feb-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
s/D61/DATA61/ in license headers for consistency
|
#
45f20d56 |
|
06-Feb-2017 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
trivial: print kernel entry reason on halt It is generally useful to know what operation was occuring when the kernel halted, as this is usually called from assert.
|
#
f658276a |
|
03-Aug-2016 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Remove many DONT_TRANSLATE markers. The vast majority of the DONT_TRANSLATE markers in the kernel are used to hide __asm__ statements and builtin functions (e.g. __builtin_unreachable ()) from the C-to-Isabelle parser. The parser now supports underscore identifiers and many __asm__ statements, and the builtin functions are prototyped, meaning the vast majority of the DONT_TRANSLATE markers can be dropped. The remaining markers cover functions that must be treated specially.
|
#
394994c2 |
|
11-Oct-2016 |
amrzar <azarrabi@nicta.com.au> |
x86: replace idle/halt[.S] with idle.c
|