mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-23 02:32:44 +00:00
The old implementation cleared all other bits in the SCU control register when enabling the SCU, which broke the kernel startup on zynq- based boards. By only raising the enable bit, we can keep the initial/default state e.g. as set up by uboot. Fixes #1953