Hi Gerwin, Just checking up on this again. Are
the plans still to release the GHC work sometime soon?
On Mon, Jul 13, 2015 at 4:45 PM, Gerwin Klein <Gerwin.Klein(a)nicta.com.au>
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.
On 14.07.2015, at 09:36, Tim Newsham
Not to pester ;-) but how is the Haskell work coming along?
On Sun, Mar 15, 2015 at 3:18 AM, Gerwin Klein <Gerwin.Klein(a)nicta.com.au>
> This has been sitting in my review queue for
a while, and will
unfortunately have to wait for at least another 2 weeks, because
> It’s very similar in spirit to HalVM, but it’s a new implementation.
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.
>> On 15 Mar 2015, at 1:00 pm, Tim Newsham <tim.newsham+sel4(a)gmail.com>
>> 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?
>> Devel mailing list
> 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 |