On Sat, 08 Jul 2017 21:27:33 GMT, aen@spamtrap.com wrote:
>A very nice 64-bit Linux for the RPI3 is here:
>

Hi!

I now followed the description and compiled the kernel.  That worked
fine (4.10.17-v8+ is now installed), but I didn't find a way to enable
the cycle counters in the compilation with make menuconfig or in any
other way.

How can this be done?
--
aen

--- SoupGate-Win32 v1.05