Thanks for the reminder :-)

The student who was working on that is currently basically leave to write up his PhD. I may have to ask for another 2-3 weeks, sorry.

Cheers,
Gerwin

> On 14.07.2015, at 09:36, Tim Newsham <tim.newsham@gmail.com> wrote:
>
> 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 <Gerwin.Klein@nicta.com.au> 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 <tim.newsham+sel4@gmail.com> 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
>>> Devel@sel4.systems
>>> 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