Debugging kernel: OS support not working for Linux 5.4

I'm trying to debug a nonresponsive device when using Linux 5.4-rt compared to 4.19-rt. However, after loading the symbols (add-symbol-file vmlinux), I get this error message:

WARNING(ROS60): Could not enable OS support as the OS does not appear to be initialized. This might be caused by a mismatch between the loaded symbols and the code on the target or because the OS is not up and running. Enabling OS support will be re-attempted when the target next stops.

Note that kernel debugging works fine with Linux 4.19-rt. I'm using Arm Development Studio 2020.0 (Intel FPGA Version) and debugging a Cyclone V SoC using an Altera USB-Blaster II, if that's of any interest.

Can anyone tell me what's the limit here? Why does it work for 4.19, but not for 5.4?



More questions in this forum