Systems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.