mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
In most cases an error report is not necessary in the kernel as the problem does not affect the kernel itself but the according user-land context. Thus we can also do a warning that is not printed in release mode and hence safe execution time. ref #1096