Both Windows and Linux handle asymmetric scheduling and the extra cache cores are considered performance cores.