Trying to activate eventrecorder together with RTX5. Configuring eventrecorder 'Time Stamp Source' for 'SysTick' will result in activating code of a second SysTick_Handler() in eventrecorder.c. Linker is not amused about that, because there already is a SysTick_Handler() in RTX5 library file irq_cm0.s. "Error: L6200E: Symbol SysTick_Handler multiply defined (by irq_cm0.o and eventrecorder.o)". How to resolve this ?