Greetings All!
I am using the Arty Z7 board for Pynq, which has two Cortex A9 cores, and some programmable logic.
When using the SD card image, or for a configuration step, is it possible to tell the operating system to only use one of the A9 cores for Pynq, so that I can use the other core for real time/bare metal processing?