This message is because both MirageOS and Unikraft are listed as having IRC channels on
freenode.net (see
https://xenproject.org/help/irc/ ).
There's been a situation developing on freenode for some time that came to a head last week. Since that time, the new operators of freenode have begun seizing control of any channel whose topic mentions moving to a new server. Furthermore, they have been using the number of people logged into freenode as evidence that the community supports their actions.
In response to this, the main hypervisor project has decided to move to
oftc.net effective immediately, and a number of us have deleted our freenode accounts (
https://lists.xenproject.org/archives/html/xen-devel/2021-05/msg01057.html ).
If you're still using the IRC channel listed in that page, please consider following suit. If you're not using the IRC channel, let me know so I can delete references to it.
Thanks,
-George Dunlap