Hello,
On 2021-05-27 13:43, Indan Zupancic wrote:
I'll just create a Github account, that is the easiest solution long-term.
Seems like I already had an old Github account laying around.
There is exists an issue about SError handling, so I just added a comment there instead of creating a new issue, see:
https://github.com/seL4/seL4/issues/260
I also created a pull request: https://github.com/seL4/seL4/pull/369
Greetings,
Indan