IRC Channel
seL4 developers and other community members can be reached on the IRC channel #sel4, available on the Freenode irc network, chat.freenode.net.
To join the discussion, you’ll need an irc client. See Comparison of Internet Relay Chat clients for a list, or use a web client.