Thanks to Nick's domain patch, the kernel worked fine with smp_num_siblings = 4 (in simulation).
Attach a file by drag & drop or click to upload
