[arakageeta]

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

[vacuity]

I think NUMA management is high level enough that in a microkernel it would be comfortably managed in userspace, unlike things relevant to performance-critical context switches. And seL4 is currently intended only for individual cores anyways.