tree b1c7d6b8773fa173979ad6663b86812bf7c769e6
parent ae14dc44fda38306c382dae412de7197c9e2e94b
author June Tate-Gans <jtgans@google.com> 1645198715 +0000
committer June Tate-Gans <jtgans@google.com> 1645729041 +0000

Add some documention on how to use seL4 debugging

Change-Id: I8bf75fc3b21c72e54dc567ccc9d53731184fc124