Hi there,
I started to upstream my changes taking on the most simple ones involving only few lines (to test the water).
- #5897 - init/sandbox asks each child's PD for the same numbers twice [PR attached] - genodelabs/genode - Codeberg.org
- #5899 - seL4 kernel is built as a verification/debug kernel, leading to ~2.5x IPC cost [PR attached] - genodelabs/genode - Codeberg.org
those are the first of a longer list, so before getting too involved, I would like to request some feedback so I get the next one better.
so far, I have send the issue, attached a PR to the issue (tagging the issue), and pinged directly the users that was more or less matching my git blame search.
As I haven’t seen any trafic on the issue or pr review, please let me know if I on the right path or if you would prefer something adjusted. (oh, and also all paperwork was handled years before 
)
Looking to learn from the genode team!