alain-lclark

Results 3 issues of alain-lclark

Instruction addresses in decimal but jump target in hex.

I'm trying to build the zcu102 hello example with SEL4CP_CONFIG set to "release" but it fails with the error message: ``` Traceback (most recent call last): File "runpy", line 197,...