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
Hi Genodians,
> Norman Feske (18.12.20, 14:58):
What's your perspective?
What areas would you wish to concentrate on?
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
Hi Michael,
thanks for sharing your ambitious plan. It is intriguing!
On 18.12.20 15:22, Michael Grunditz wrote:
> Make the RK3399 port complete which for example includes PineBook Pro.
> HDMI will be easy, and I think eDP will be as well. The question is if
> doing it with DDE-Linux or from scra
Hi everyone,
I was reading the 2020 reflections on Genode.
Here is my plans for 2021 related to Genode:
1)
Make the RK3399 port complete which for example includes PineBook Pro.
HDMI will be easy, and I think eDP will be as well. The question is if
doing it with DDE-Linux or from scratch. The RK
