1. c4e0615 trivial: Add missing register to list by Kent McLeod · 5 years ago
  2. c18523b replace kernel_autoconf with sel4_autoconf by Yu Hou · 6 years ago
  3. e9a9ff4 Trivial: Style fix by Yu Hou · 6 years ago
  4. 4f4c9c2 link kernel_autoconf explicitly by Yu Hou · 6 years ago
  5. 559fb22 seL4_libs: specify linking method by Yu Hou · 6 years ago
  6. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  7. 2c39ace trivial: Change of thread IDs on arm by Curtis Millar · 6 years ago
  8. 66ae482 Update register layout in user context by Curtis Millar · 6 years ago
  9. 6b2bbe6 CMake: Mark config options as advanced by Kent McLeod · 6 years ago
  10. 11062d0 trivial: style CMakeLists.txt files by Kent McLeod · 6 years ago
  11. 1f6de1c libsel4debug: add prefix for register dump by Anna Lyons · 6 years ago
  12. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  13. 878ad37 libsel4debug: (trivial) fix typo by James Ye · 6 years ago
  14. 01becc5 sel4debug: Actually print in debug_print_bootinfo by Kent McLeod · 6 years ago
  15. 2e6da56 Remove references to specific seL4 headers. by Curtis Millar · 6 years ago
  16. 6289da1 Kbuild: Removed Kbuild by Adam Felizzi · 6 years ago
  17. 73d9d0a trivial: guard with pragma once by Anna Lyons · 7 years ago
  18. f39d300 SELFOUR-1284: riscv/debug update register names by Anna Lyons · 7 years ago
  19. d6b85e7 riscv: fix licenses by Anna Lyons · 7 years ago
  20. c7e78f2 RISC-V port by Hesham Almatary · 9 years ago
  21. 421915c libsel4debug: Provide sel4_arch agnostic safe printf function by Adrian Danis · 7 years ago
  22. 135c651 pragma once and for all by Anna Lyons · 7 years ago
  23. d428259 libsel4debug: remove ancient hgignore by Anna Lyons · 7 years ago
  24. dbe802b Add CMake build rules for various libraries by Adrian Danis · 8 years ago
  25. c1a3178 Remove debug_fault_handler by Anna Lyons · 7 years ago
  26. b52a7c4 Sort files to make build reproducible by Luke Mondy · 7 years ago
  27. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  28. 9214341 Fix licenses by Anna Lyons · 8 years ago
  29. d4413b0 libsel4debug: fix arch paths in makefile by Saggi Mizrahi · 8 years ago
  30. d8e5f17 libsel4debug: Add support for aarch64 by amrzar · 8 years ago
  31. b578b9e Prepare for aarch64 implementation by amrzar · 8 years ago
  32. 76751d8 SELFOUR-114: use new fault type API by Anna Lyons · 9 years ago
  33. 4ed4e0a Remove assumptions about the 0 paddr being invalid by Adrian Danis · 8 years ago
  34. 2d270b2 Merge pull request #138 in SEL4/sel4_libs from ~ADANIS/sel4_libs:64bit to master by Adrian Danis · 8 years ago
  35. f557803 libsel4debug: Accept untyped sizes up to word size by Adrian Danis · 8 years ago
  36. 5110124 libsel4debug: trivial whitespace fixes by Adrian Danis · 8 years ago
  37. c374787 libsel4debug: Add missing copyright header by Adrian Danis · 8 years ago
  38. fb3471f libsel4debug: Fix debug printing by Adrian Danis · 9 years ago
  39. fab2a79 libsel4debug: Remove 32-bit size assumptions by Adrian Danis · 9 years ago
  40. 1c69b8a libsel4debug: Define x86 registers by sel4_arch instead of arch by Adrian Danis · 9 years ago
  41. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  42. 80b9e99 Move sel4_debug.h back into libsel4utils by Kofi Doku Atuah · 9 years ago
  43. 067b1cb sel4debug: remove debug_plat_putchar SELFOUR-481 by Anna Lyons · 9 years ago
  44. 41510d0 libsel4debug: Remove unnecessary STRINGIFY use. by Matthew Fernandez · 9 years ago
  45. 35dbbd6 libsel4debug: Replaced indirection with direct include by Kofi Doku Atuah · 9 years ago
  46. 87c5c44 Added sel4_strerror() and some convenience macros for ZF_LOG(). by Kofi Doku Atuah · 9 years ago
  47. 9b0f6e2 Remove all references to KERNEL_STABLE by Anna Lyons · 9 years ago
  48. 1a1e89a sel4debug: remove unused dep on sel4utils by Anna Lyons · 9 years ago
  49. 67c869c all: s/LOG_*/ZF_LOG* by Anna Lyons · 9 years ago
  50. e9b6666 Update usages of bootinfo to use the userImagePaging list by Adrian Danis · 9 years ago
  51. c8db8cb libsel4debug: De-frob return addresses before storing. by Matthew Fernandez · 9 years ago
  52. 62d575b update for s/Wait/Recv by Anna Lyons · 9 years ago
  53. e4dd97e Fix: Explicitly mark unaligned IO in the malloc debugger. by Matthew Fernandez · 9 years ago
  54. 4351346 More portable definition of alignment requirement in the malloc debugger. by Matthew Fernandez · 9 years ago
  55. 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
  56. 83a883b Add 'libsel4debug/' from commit '8d71a05502c0398bef64829bb8af7114995dfc92' by Anna Lyons · 9 years ago