# Site Feedback **URL:** https://sel4.discourse.group/c/site-feedback/3.md [Latest](https://sel4.discourse.group/latest.md) · [Categories](https://sel4.discourse.group/categories.md) · [Tags](https://sel4.discourse.group/tags.md) --- ## [Improve Documentation](https://sel4.discourse.group/t/improve-documentation/1046)
**Author:** [@indolering](https://sel4.discourse.group/u/indolering)\ **Replies:** 0\ **Last updated:** [April 19, 2026, 12:24am UTC](https://sel4.discourse.group/t/improve-documentation/1046 "2026-04-19T00:24:05Z")
As a UX engineer and not an OS dev, I find the on-boarding process to be full of unnecessary challenges. Just figuring out where to start is difficult because the documentation for seL4, LionsOS, and microkit is spread … --- ## [Reframing IPC as XDC](https://sel4.discourse.group/t/reframing-ipc-as-xdc/1038)
**Author:** [@indolering](https://sel4.discourse.group/u/indolering)\ **Replies:** 1\ **Last updated:** [March 19, 2026, 12:41am UTC](https://sel4.discourse.group/t/reframing-ipc-as-xdc/1038 "2026-03-19T00:41:02Z")
The pop-culture opinion of microkernels is that IPC is their achilles heel, even though the style of IPC seL4 uses is much faster than Unix or Mach. I would like to suggest reframing all seL4/LionsOs IPC to Cross Domain … --- ## [Mattermost is self-limiting](https://sel4.discourse.group/t/mattermost-is-self-limiting/1024)
**Author:** [@indolering](https://sel4.discourse.group/u/indolering)\ **Replies:** 6\ **Last updated:** [March 18, 2026, 12:17am UTC](https://sel4.discourse.group/t/mattermost-is-self-limiting/1024 "2026-03-18T00:17:40Z")
Mattermost is a pretty niche chat client and I’m also unable to login to seL4’s Mattermost instance on my Pixel phone (it just hangs). Per Metcalf’s law, I believe that the choice of Mattermost is going to limit communi… --- ## [Account deletion](https://sel4.discourse.group/t/account-deletion/1019)
**Author:** [@anon90145806](https://sel4.discourse.group/u/anon90145806)\ **Replies:** 1\ **Last updated:** [November 4, 2025, 10:49pm UTC](https://sel4.discourse.group/t/account-deletion/1019 "2025-11-04T22:49:58Z")
Could you please delete my account, the posts and all associated data? I don’t need it anymore. I didn’t see an option for this in the settings and it’s also not clear how I can contact the site admins about this, so I’… --- ## [Mattermost ssl certificate is expired](https://sel4.discourse.group/t/mattermost-ssl-certificate-is-expired/148)
**Author:** [@lazycandle55](https://sel4.discourse.group/u/lazycandle55)\ **Replies:** 1\ **Last updated:** [March 2, 2020, 6:09am UTC](https://sel4.discourse.group/t/mattermost-ssl-certificate-is-expired/148 "2020-03-02T06:09:05Z")
Period of Validity: March 1, 2017 to February 29, 2020 --- ## [Status of IRC channel?](https://sel4.discourse.group/t/status-of-irc-channel/144)
**Author:** [@lazycandle55](https://sel4.discourse.group/u/lazycandle55)\ **Replies:** 1\ **Last updated:** [February 25, 2020, 5:43pm UTC](https://sel4.discourse.group/t/status-of-irc-channel/144 "2020-02-25T17:43:51Z")
Are these new forums and mattermost intended to replace the IRC channel? --- ## [Are we ready to open this to the world yet?](https://sel4.discourse.group/t/are-we-ready-to-open-this-to-the-world-yet/73)
**Author:** [@anna.lyons](https://sel4.discourse.group/u/anna.lyons)\ **Replies:** 2\ **Last updated:** [July 31, 2019, 11:28pm UTC](https://sel4.discourse.group/t/are-we-ready-to-open-this-to-the-world-yet/73 "2019-07-31T23:28:21Z")
I wanted to get a base level of content before we open discourse to the world (share on the mailing list etc). We should probably have people assigned to monitoring it (also from CoE)?. What does everyone think? --- ## [Feedback on site logos](https://sel4.discourse.group/t/feedback-on-site-logos/56)
**Author:** [@curtis](https://sel4.discourse.group/u/curtis)\ **Replies:** 1\ **Last updated:** [April 15, 2019, 11:50pm UTC](https://sel4.discourse.group/t/feedback-on-site-logos/56 "2019-04-15T23:50:56Z")
I’ve been trying out some logos for the site in various context. Currently, the logo that appears on the site and in the Android ‘Add to home screen’ icon is a flattened version of the logo with the tagline removed. … --- ## [Site Name Missed Opportunity](https://sel4.discourse.group/t/site-name-missed-opportunity/37)
**Author:** [@jesse.millwood](https://sel4.discourse.group/u/jesse.millwood)\ **Replies:** 5\ **Last updated:** [March 28, 2019, 12:30pm UTC](https://sel4.discourse.group/t/site-name-missed-opportunity/37 "2019-03-28T12:30:23Z")
Kind of upset this isn’t called “The seL 4um” :laughing: --- ## [Split seL4 kernel category into multiple](https://sel4.discourse.group/t/split-sel4-kernel-category-into-multiple/57)
**Author:** [@kent.mcleod](https://sel4.discourse.group/u/kent.mcleod)\ **Replies:** 1\ **Last updated:** [January 30, 2019, 12:15am UTC](https://sel4.discourse.group/t/split-sel4-kernel-category-into-multiple/57 "2019-01-30T00:15:57Z")
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? --- ## [About the Site Feedback category](https://sel4.discourse.group/t/about-the-site-feedback-category/2)
**Author:** [@system](https://sel4.discourse.group/u/system)\ **Replies:** 0\ **Last updated:** [January 2, 2019, 6:04pm UTC](https://sel4.discourse.group/t/about-the-site-feedback-category/2 "2019-01-02T18:04:07Z")
Discussion about this site, its organization, how it works, and how we can improve it.