Hi,
I am interested in both seL4 and Idris (https://www.idris-lang.org/ a
dependently typed pure functional language), so I have written an seL4 project
that compiles an "hello world" Idris application. My intention is to eventually
write the seL4 tutorials using Idris. Any help, comments or con
Hi,
Does anyone know when the Haskell support will be released in public? 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. I propose that the language section also con
Hi Gerwin,
>> 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 nob
Hi,
Today I created a few pull-requests on seL4 repos to build x86-64 with clang:
- https://github.com/seL4/seL4/pull/105
- https://github.com/seL4/musllibc/pull/4
- https://github.com/seL4/seL4_tools/pull/19
/Jonas
‐‐‐ Original Message ‐‐‐
On Wednesday, November 14, 2018 5:28 PM, wrote:
Sent from ProtonMail, Swiss-based encrypted email.
‐‐‐ Original Message ‐‐‐
On Monday, June 14, 2021 4:00 AM, wrote:
> Send Devel mailing list submissions to
> devel@sel4.systems
>
> To subscribe or unsubscribe via email, send a message with subject or
> body 'help' to
> devel-request