1. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  2. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  3. 1f6de1c libsel4debug: add prefix for register dump by Anna Lyons · 6 years ago
  4. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  5. 01becc5 sel4debug: Actually print in debug_print_bootinfo by Kent McLeod · 6 years ago
  6. 2e6da56 Remove references to specific seL4 headers. by Curtis Millar · 6 years ago
  7. 421915c libsel4debug: Provide sel4_arch agnostic safe printf function by Adrian Danis · 7 years ago
  8. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  9. c1a3178 Remove debug_fault_handler by Anna Lyons · 7 years ago
  10. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  11. 9214341 Fix licenses by Anna Lyons · 8 years ago
  12. d4413b0 libsel4debug: fix arch paths in makefile by Saggi Mizrahi · 8 years ago
  13. d8e5f17 libsel4debug: Add support for aarch64 by amrzar · 8 years ago
  14. 76751d8 SELFOUR-114: use new fault type API by Anna Lyons · 9 years ago
  15. 4ed4e0a Remove assumptions about the 0 paddr being invalid by Adrian Danis · 8 years ago
  16. f557803 libsel4debug: Accept untyped sizes up to word size by Adrian Danis · 8 years ago
  17. fb3471f libsel4debug: Fix debug printing by Adrian Danis · 9 years ago
  18. fab2a79 libsel4debug: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  19. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  20. 80b9e99 Move sel4_debug.h back into libsel4utils by Kofi Doku Atuah · 9 years ago
  21. 067b1cb sel4debug: remove debug_plat_putchar SELFOUR-481 by Anna Lyons · 9 years ago
  22. 41510d0 libsel4debug: Remove unnecessary STRINGIFY use. by Matthew Fernandez · 9 years ago
  23. 35dbbd6 libsel4debug: Replaced indirection with direct include by Kofi Doku Atuah · 9 years ago
  24. 87c5c44 Added sel4_strerror() and some convenience macros for ZF_LOG(). by Kofi Doku Atuah · 9 years ago
  25. 9b0f6e2 Remove all references to KERNEL_STABLE by Anna Lyons · 9 years ago
  26. 1a1e89a sel4debug: remove unused dep on sel4utils by Anna Lyons · 9 years ago
  27. 67c869c all: s/LOG_*/ZF_LOG* by Anna Lyons · 9 years ago
  28. e9b6666 Update usages of bootinfo to use the userImagePaging list by Adrian Danis · 9 years ago
  29. c8db8cb libsel4debug: De-frob return addresses before storing. by Matthew Fernandez · 9 years ago
  30. 62d575b update for s/Wait/Recv by Anna Lyons · 9 years ago
  31. e4dd97e Fix: Explicitly mark unaligned IO in the malloc debugger. by Matthew Fernandez · 9 years ago
  32. 4351346 More portable definition of alignment requirement in the malloc debugger. by Matthew Fernandez · 9 years ago
  33. 545f19f libsel4debug: add register_dump(tcb) which prints out the register set of the passed in TCB ptr using seL4_TCB_ReadRegisters. by Anna Lyons · 9 years ago
  34. 83a883b Add 'libsel4debug/' from commit '8d71a05502c0398bef64829bb8af7114995dfc92' by Anna Lyons · 9 years ago