Hello,
On 22.12.2015 13:28, Norman Feske wrote:
Today, I still see a number of deficiencies in the current API. In the past year, we successively moved to a new model of the API (dubbed server API) that promotes the construction of components as state machines rather than procedural programs. All recent components are designed in this style to the great benefit of their robustness. We should finally promote this style towards the base API and get rid of some mistakes we made in the past, in particular the reliance on side effects by using the globally visible Genode::env.
in the meantime, I substantiated this topic a bit more:
https://github.com/genodelabs/genode/issues/1832
Cheers Norman