Re: [seL4] haskell on sel4

Hi Gerwin, Just checking up on this again. Are the plans still to release the GHC work sometime soon? Tim On Mon, Jul 13, 2015 at 4:45 PM, Gerwin Klein wrote:

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

Hey Gerwin, Not to pester ;-) but how is the Haskell work coming along?

Tim

...

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

On Sun, Mar 15, 2015 at 3:18 AM, Gerwin Klein wrote: 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

...

...

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

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

-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com