mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-22 03:55:26 +00:00
412c5e5be4
Normally, the platform driver helpers adapt the global run variables directly via append. But the introduction of a more elegant run script style, that incorporates dependent strings inline may be a good idea. Thus, we need the backends of the helpers available as functions that return their string rather than appending it. The old interface still exists and uses the new interface as backend. Ref #2193