I just tried botting sculpt with hw kernel on my x86-64 PC and it work
without a hitch.
> Thanks again.
> Sid
> Grad Student
> University of British Columbia
>
>
>
___
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/us
Hi Genodians,
I got introduced to Genode as a viable userspace for seL4. But having
looked at the code and the abstraction provided by the "core", I feel like
I do not really case much about whether I am running sel4 under the hood or
not. I plan to use Genode for my research and to that affect, I
Hi all,
On 12/26/22 16:58, Norman Feske wrote:
What about you?
---
Even though I hope that the thoughts above resonate with you, I'm pretty sure
you have different perspectives. Please share them!
How did you perceive the Genode year 2022?
2022 has been a year divided between
Happy new year to everyone!
Let me join the brainstorming session...
> How did you perceive the Genode year 2022?
>From a personal perspective, I am delighted with the past year. Skimming
through my notes from 2022 made me aware of the variety of topics on
which I had been working: I wrote my fi
