Comment by arakageeta

I’m not sure that seL4 even supports NUMA, so there are other tradeoffs to consider.