My Roadmap for 2021

[Norman Feske]

Hi Axel,

On 23.12.20 06:25, Axel Heider wrote:
> Seems I will get the chance to spend more time on Genode in
> general and understanding better how to use it. Especially
> when it comes to RISC-V and seL4. So, I'm really looking
> forward to this.

thank you for chiming in!

Admittedly, both seL4 and RISC-V have not received much attention from
our side in 2020. I very much welcome to revive these topics.

Regarding seL4 in 2021, bringing Genode in line with the current kernel
version and the MCS scheduling comes in mind first. Furthermore, to make
Genode fit into seL4's often lauded "verification story", we may
contemplate combining Genode with CAmkES, to the benefit of both
communities.

Your involvement is very welcome and motivating.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth