What thoughts do people have about splitting the seL4 kernel category to separate kernel implementation discussions from discussions about what is visible to user-level?
works for me. I just wanted to start with something and hoped more meaningful categories would emerge.