> 3 cores: 64-bit RISC-V core, 32-bit RISC-V core and low power RISC-V core

Does Linux have support for running on heterogenous cores? Can I run a 64-bit process and 32-bit process side by side on the same kernel?