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 tim.newsham@gmail.com 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 Gerwin.Klein@nicta.com.au 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 tim.newsham+sel4@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.
-- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com