mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-09-30 20:24:04 +08:00
Sebastian Huber
275032b85a
We need the unmodified r4 for get_potential_new_heir.
This partially reverts commit 8d785f72d9.