Thanks for the explanation and links!
I am going to try the way described in [1,3] first as a way to unblock me,
and then proceed to do it the Genode way described in the end.
Best,
Sid
On Wed, Jun 28, 2023 at 2:17 AM Norman Feske
wrote:
> [CAUTION: Non-UBC Email]
>
> Hi Sid,
>
> On 2023-06-2
Dear Genodians,
Here are two (very minor) notes after my upgrading to 23.02 (plus
cherry-picking the patch from #4785),
regarding two "bugs" I had found, which ended up being mistakes on my side, not
on Genode's side.
These two don't justify opening tickets, but they might deserve a quick mentio