This patch is the counterpart of the commit "Warn about the use of
deprecated env() function" in Genode repository:
a7f40b24ca
This patch is the counterpart of the commit "Warn about the use of
deprecated env() function" in Genode repository:
a7f40b24ca