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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
