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
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.
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.
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
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 Gerwin.Klein@nicta.com.au 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 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
-
Gerwin Klein -
Tim Newsham -
Tim Newsham