2 ms·
I’m not sure that seL4 even supports NUMA, so there are other tradeoffs to consider.
by arakageeta 2y ago
I’m not sure that seL4 even supports NUMA, so there are other tradeoffs to consider.
- vacuity 2y agoI 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.