Re: [seL4] haskell on sel4

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 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 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