Hi Jonas, Does anyone know when the Haskell support will be released in public? That's a good question. After a push some time ago that almost got it to release, GHC runtime on seL4 support has fallen into disrepair again, because the person who worked on it has left and there is nobody here who actually uses it, so it always gets bumped towards the end of the priority queue. In the Language support section of https://wiki.sel4.systems/Suggested%20projects is says that it will be released in the near future, but the page was last edited on June 2016. Yes, that's about when we were really optimistic about this one. I propose that the language section also contains links to where the source can be found. If there is strong interest, we could probably release the not-quite-working version (for an old version of GHC and an old version of seL4). I am also writing since I am working on porting the sel4-tutorial to Idris, which could be added to the list of languages, with a link to https://github.com/mokshasoft/sel4-idris-manifest There is a long way to go before it is finished, but if people want to help I accept patches. Yes, I think it would make sense to include Idris there (very cool to have that on seL4, btw!), even if it's not fully done yet. We're in the process of migrating the wiki to github pages to make it easier to contribute and change things, so I'm not quite clear myself on where/when that page should be edited. Kent or Kofi, could you give me a pointer? Cheers, Gerwin