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 <tim.newsham+s...@gmail.com> 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. _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
