On a sunny day (Tue, 26 Jun 2018 19:46:24 +0100) it happened Gareth's
Downstairs Computer
  wrote in
:

>AIUI the RPi3 has the A53 design with 4 cores, but cannot
>locate any info on how to control the various processors,
>such as directing each one to a different task, or enabling
>or disabling any of the processors.

In Linux in general
man taskset

--- SoupGate-Win32 v1.05