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 <[email protected]> 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 <[email protected]> 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 <[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 > > -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
