Bigmounten
Results
1
comments of
Bigmounten
> When you build the OpenSBI binary, you can pass "DEBUG=1" on the command line which generates debugger-friendly bits. Thank u so much!