|
|
|
|
|
|
by vacuity
454 days ago
|
|
|
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. |
|
|