tree 426769cd3e27ee79b0633badcbb8784cd570fdc2
parent 3a1d6a38c8417f28ac1945132196b976e8573318
author Sam Leffler <sleffler@google.com> 1658186958 +0000
committer Sam Leffler <sleffler@google.com> 1658190722 +0000

Update the sel4 debugging primer.

Change-Id: I913d8fe3844b805d7aed159368da704a8bc9e8d0