tree bf210d95692975aafad5da178cd2e2968f157717
parent d62a8e6f58c520fdfc728854675c550e974026e5
author Axel Heider <axelheider@gmx.de> 1617501637 +0200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1620964932 +1000

libsel4debug: use SEL4_PRIx_word to print regs

Signed-off-by: Axel Heider <axelheider@gmx.de>