Is it possible to use low power core while other cores are running Linux?

I have an linux application for which I need a TK1, better to keep all 4 cores for this.

At the same time, I need a dedicated processor for handling a simple automation, requiring very few memory and peripherals (a few GPIOs and a SPI bus).

I have no power consumption constraints.

So, I was wondering if it is possible to use the low power core of TK1 with no OS to do so, or if it was hardware switched.

I don’t know either at this point which core runs the bootloader, nor how is accessed the interrupt controller from different cores.

I have the same question for TX1.

Thanks

There is no low power core access.