Norman, It might also be of interest to you that we are looking at working with Purdue University to port multiMLton (ML not Haskell) to Genode also - we are currently making an assessment of feasibility.
Daniel On 03/25/2011 01:31 AM, Norman Feske wrote: > Hello Thomas, > > the HalVM project was brought to our attention by an anonymous posting > at our Sourceforge forum: > > http://sourceforge.net/projects/genode/forums/forum/825067/topic/3983252 > > Even though I am not experienced with using Haskell myself, I recognize > the potential of using this language in the context of systems > development. E.g., it plays a pivotal role in the seL4 verification > project at NICTA, and I have been impressed by the work of Mark P. Jones > and his group at OGI/PDX with conducting the House project. We listed > this project idea because we realize that HalVM (or in a broader sense, > Haskell) should receive our attention at some time in the future. > > Do you think that porting GHC to Genode is a necessity? I expected that > GHC could just be used to cross-compile code. So only the Haskell > runtime has to be ported. But as I said, I lack profound knowledge in > this area. > > Are you somehow involved in the development of HalVM? > > Regards > Norman > > On 03/24/2011 07:29 PM, Thomas DuBuisson wrote: >> I'm curious - who added all the language-specific topics? >> Specifically the HaLVM? Has anyone talked to Adam Wick about porting >> HaLVM to Genode or is this more of an off-hand "that would be nice" >> item in the list? Also, wouldn't it be more sensible to say "port GHC >> to the a Genode platform" or are there HaLVM-specific features you're >> wanting like the redevouslib for page flipping? >> >> Cheers, >> Thomas ------------------------------------------------------------------------------ Enable your software for Intel(R) Active Management Technology to meet the growing manageability and security demands of your customers. Businesses are taking advantage of Intel(R) vPro (TM) technology - will your software be a part of the solution? Download the Intel(R) Manageability Checker today! http://p.sf.net/sfu/intel-dev2devmar _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
