Hey Gerwin,
Not to pester ;-) but how is the Haskell work coming along?
Tim
On Sun, Mar 15, 2015 at 3:18 AM, Gerwin Klein <[email protected]> wrote:
> This has been sitting in my review queue for a while, and will unfortunately
> have to wait for at least another 2 weeks, because I’m travelling, sorry.
>
> It’s very similar in spirit to HalVM, but it’s a new implementation. There
> will be seL4 bindings.
>
> Dependencies are mainly everything ghc needs (it’s basically ghc cross
> compiling to ARM for bare metal + seL4 bindings), but that’s something I need
> to look at more closely.
>
> Cheers,
> Gerwin
>
>> On 15 Mar 2015, at 1:00 pm, Tim Newsham <[email protected]> wrote:
>>
>> I just noticed the web page says
>> "we have Haskell sort-of running on seL4 (thanks or
>> friends from Galois for their help), should be released
>> in the near future"
>>
>> This is great news. Are you able to share any details
>> such as when any of this will be public, what the
>> porting strategy was (is this similar to HalVM?),
>> what dependencies haskell compiled code requires,
>> if there are sel4 bindings, etc?
>>
>> Tim
>>
>> _______________________________________________
>> Devel mailing list
>> [email protected]
>> https://sel4.systems/lists/listinfo/devel
>
>
> ________________________________
>
> The information in this e-mail may be confidential and subject to legal
> professional privilege and/or copyright. National ICT Australia Limited
> accepts no liability for any damage caused by this email or its attachments.
--
Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
