search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4debug: use SEL4_PRIx_word to print regs #31

Closed axel-h closed 3 years ago

axel-h commented 3 years ago

Uses https://github.com/seL4/seL4/pull/330

axel-h commented 3 years ago

Could this get merged now that https://github.com/seL4/seL4/pull/330 was merged?