tree a761bd5b7913c106234cb9c16738daaf033019ad
parent e09ca438811bc6a4888d96f7abf56787eb74441d
author Kent McLeod <kent@kry10.com> 1637821350 +1100
committer Gerwin Klein <gerwin@doclsf.de> 1638072103 +1100

sel4debug,caps: Use the write print modifer

Use the correct libsel4 print modifier for the seL4 type.

Signed-off-by: Kent McLeod <kent@kry10.com>