Hello!
I have been using gator.ko kernel space profiler daemon on Raspberry PI 3B+ with Streamline running on Win-10 machine for a couple of weeks. Few days ago I recompiled the Raspbian kernel to use real-time patched version 4.14.91-rt49-v7. In this environment, I started having issues building gator driver. Namely, build script with M='pwd' was failing due to missing pwd/Makefile. I tried using gator.ko that I built with 4.14.98-v7+ two weeks ago, but it wouldn't start, reporting "wrong format".
Any idea how to fix this issue? Is it at all possible to profile RT patched Raspbian?
In any case, I would expect ARM to at least mention this as the instructions that come with gator are not producing stated results. This step is failing
cd gator/drivermake -C /home/pi/linux M=`pwd` ARCH=arm modules
I would appreciate any input!
Thanks!