mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-31 16:11:36 +00:00
We cannot count on the correct initialization of the diagnostic register of the secondary cores. But the boot core gets initialized by the bootchain, so we can copy over those values. Fix #3639