Add some documention on how to use seL4 debugging

Change-Id: I8bf75fc3b21c72e54dc567ccc9d53731184fc124
1 file changed