There are variations on this theme where the two types of cores are also cache coherent with each other.