Microchip PolarFire boards (and PIC64 chips, which is basically just the CPU part of PolarFire without the FPGA fabric) can do that with asymmetric multiprocessing: https://www.microchip.com/en-us/products/fpgas-and-plds/syst...