27 May
2021
27 May
'21
11:15 p.m.
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