tree 584904d2b6b1d07a0ffc8849c61b56b2b180191a
parent e8088af40d674fb8ac3a23874afea74ed1868d5c
author Anna Lyons <Anna.Lyons@data61.csiro.au> 1502332088 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> 1503300354 +1000

Remove debug_fault_handler

- it's not used in our code base
- it's not tested (it says so)
- it duplicates sel4utils_print_fault_message
- move useful code to sel4utils_print_fault_message
- make sure sel4utils_print_fault_message doesn't use GetMR, as print
may cause it to invalidate the IPC buffer contents.