irc-channel.md

SPDX-License-Identifier	SPDX-FileCopyrightText
CC-BY-SA-4.0	2020 seL4 Project a Series of LF Projects, LLC.