Aw: Re: Roadmap 2022

2022-01-04 Thread Uwe
> Gesendet: Dienstag, 04. Januar 2022 um 15:07 Uhr > Von: "Norman Feske" > An: users@lists.genode.org > Betreff: Re: Roadmap 2022 > That being said, there is an elephant in the room, namely how POSIX > threads fit into the picture. How can the state of a multi-threaded > application be serializ

Re: sel4 and compilation with/without optimisation

2022-01-04 Thread Alexander Boettcher
Hello, On 02.01.22 21:01, Alexander Tormasov via users wrote: Gcc with any optimisation level do drop this code because original function which call x86_flush_rsb (c_handle_vmexit) does not used at all and being removed during optimisation. So, if you during debug add something like CFLAGS= as

Re: Roadmap 2022

2022-01-04 Thread Colin Parker
Hello Genodians, I will again offer my thoughts as a casual Genode user and tinkerer, although this year I didn't get to have as much fun with it as I wanted to, for various reasons. > What is your vision of using Genode at the end of 2022? > > > I hope that this posting spawns a fruitful disc

Re: Roadmap 2022

2022-01-04 Thread Norman Feske
Hi Alexander, it in interesting to learn more about the context of your work with Go. You said that you are not a Go programmer yourself. But to you happen to have users of your Go runtime to get their feedback? > Like namespaces based isolation (read: ability to have same names/id’s/etc in > d

Re: Roadmap 2022

2022-01-04 Thread Johannes Schlatow
A happy new year to all of you! > What's your reflection of Genode's past year? Personally, I really enjoyed resuming the work with Genode and switching to Sculpt as a daily driver. After a couple years of deep sleep on my side, I started highly motivated into this endeavour. Converting to Sculpt