Deterministic replay support for Genode components Performance penalty and challenges