mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
Until now the print procedure call in the Log_session_component did contain a hardcoded 'init' string. Adding a method to filter the session args to prefix the label and labelling the initial Cpu_connection for the init-process enabled us to remove the hardcoded string. Fixes #789.
This directory contains all source codes.