I just saw Adam’s comment on the halvm-devel list about upcoming HaLVM / Rump efforts [0]. I thought folks on this list might be interested to know about it. For convenience, you can follow the discussion from the beginning of the thread via the halvm-devel archives [1].
As a sidenote, I’m in the process of setting up a flat forum to try and help with cross-pollination across projects [2]. There have been good examples of such interaction before (e.g. EC2 scripts [3]) and I hope there will be many more! [0] See more about HaLVM at http://galois.com/project/halvm/ [1] http://community.galois.com/pipermail/halvm-devel/2015-December/000141.html [2] https://github.com/Unikernel-Systems/unikernel.org/issues/25 [3] See links in https://mirage.io/blog/unikernel-org Best wishes, Amir > Begin forwarded message: > > From: Adam Wick <[email protected]> > Subject: Re: [Halvm-devel] Running HaLVM on "bare metal" > Date: 24 December 2015 18:14:12 GMT > To: "Arnaud Bailly | Capital Match" <[email protected]>, Karel Gardas > <[email protected]> > Cc: [email protected] > > I'm actually going to be looking pretty deeply into trying to do a HaLVM / > rump integration, with bare-metal HaLVMs being one of the goals, starting on > Monday. So I'm hoping it's not too hard. :) > > I'll try to report back by the end of the week. You might also look for the > forthcoming appearance of a "halvm3" or "halvm-rump" or similarly-named > branch. > > > - Adam > > On Wed, Dec 23, 2015 at 2:30 AM Arnaud Bailly | Capital Match > <[email protected] <mailto:[email protected]>> wrote: > I got this piece of information from here: > https://ghc.haskell.org/trac/ghc/wiki/Platforms > <https://ghc.haskell.org/trac/ghc/wiki/Platforms> > But then this page (https://github.com/iquiw/ghc-NetBSD-patches > <https://github.com/iquiw/ghc-NetBSD-patches>) says there are patches for > latest version so I am probably mistaken. > TBH I am not against a healthy dose of yak shaving here and there but not too > much... > > On Wed, Dec 23, 2015 at 9:21 AM, Karel Gardas <[email protected] > <mailto:[email protected]>> wrote: > If you need NetBSD support for rump kernels, then let me assure you > that GHC is quite portable and adding NetBSD support should not be > that hard. Both FreeBSD and OpenBSD are supported quite well by GHC > HEAD by the way. > > On Wed, Dec 23, 2015 at 8:13 AM, Arnaud Bailly | Capital Match > <[email protected] <mailto:[email protected]>> wrote: > > OK so using rump kernels is not possible as it seems GHC support for netbsd > > has been abandoned. > > > > On Sun, Dec 20, 2015 at 9:55 AM, Arnaud Bailly | Capital Match > > <[email protected] <mailto:[email protected]>> wrote: > >> > >> Hello, > >> > >> I wonder how much effort would it be to run HaLVM on bare metal? Would it > >> be possible to leverage drivers and machinery provided by rump kernels to > >> simplify this task? I understand HaLVM must provide its own modified GHC in > >> order to generate code that can be run without a full-blown OS. Would > >> running on hardware mean modifying this part too or only having to touch > >> HaLVM runtime? > >> > >> Thanks for any help you would be willing to provide to point me at the > >> right direction. > >> > >> Regards, > >> -- > >> Arnaud Bailly > >> CTO | Capital Match > >> CapitalMatch > >> 39A North Canal Road | Singapore 059295 > >> +33 617 121 978 <tel:%2B33%20617%20121%20978> | [email protected] > >> <mailto:[email protected]> | www.capital-match.com > >> <http://www.capital-match.com/> > >> > >> Capital Match Platform Pte. Ltd., registered in Singapore (Co. Reg. No. > >> 201501788H), is a subsidiary of Capital Match Holdings Pte. Ltd. (Co. Reg. > >> No. 201418682W) (collectively "Capital Match"). > >> > >> This e-mail message and any enclosures are intended only for the person(s) > >> to whom it is addressed and may contain information which is confidential > >> and/or legally protected. Any use, distribution, modification, copying or > >> disclosure by any person(s) other than the named addressee is strictly > >> prohibited. Capital Match disclaims all responsibility from and accept no > >> liability whatsoever for the consequences of any unauthorized person > >> acting, > >> or refraining from acting, on any information contained in this message. If > >> you have received this email in error, please inform us immediately and > >> delete it and all copies from your system. > >> > >> E-mail transmission cannot be guaranteed to be secure or error-free as > >> information could be intercepted, corrupted, lost, destroyed, arrive later > >> or incomplete, or contain viruses. The sender therefore does not accept > >> liability for any errors or omissions in the contents of this message which > >> arise as a result of e-mail transmission. If verification is required, > >> please request a hard-copy version from the sender. Capital Match makes no > >> representation or warranty as to the absence of viruses in this e-mail or > >> any attachments. > > > > > > > > > > -- > > Arnaud Bailly > > CTO | Capital Match > > CapitalMatch > > 39A North Canal Road | Singapore 059295 > > +33 617 121 978 <tel:%2B33%20617%20121%20978> | [email protected] > > <mailto:[email protected]> | www.capital-match.com > > <http://www.capital-match.com/> > > > > Capital Match Platform Pte. Ltd., registered in Singapore (Co. Reg. No. > > 201501788H), is a subsidiary of Capital Match Holdings Pte. Ltd. (Co. Reg. > > No. 201418682W) (collectively "Capital Match"). > > > > This e-mail message and any enclosures are intended only for the person(s) > > to whom it is addressed and may contain information which is confidential > > and/or legally protected. Any use, distribution, modification, copying or > > disclosure by any person(s) other than the named addressee is strictly > > prohibited. Capital Match disclaims all responsibility from and accept no > > liability whatsoever for the consequences of any unauthorized person acting, > > or refraining from acting, on any information contained in this message. If > > you have received this email in error, please inform us immediately and > > delete it and all copies from your system. > > > > E-mail transmission cannot be guaranteed to be secure or error-free as > > information could be intercepted, corrupted, lost, destroyed, arrive later > > or incomplete, or contain viruses. The sender therefore does not accept > > liability for any errors or omissions in the contents of this message which > > arise as a result of e-mail transmission. If verification is required, > > please request a hard-copy version from the sender. Capital Match makes no > > representation or warranty as to the absence of viruses in this e-mail or > > any attachments. > > > > > > _______________________________________________ > > Halvm-devel mailing list > > [email protected] <mailto:[email protected]> > > http://community.galois.com/mailman/listinfo/halvm-devel > > <http://community.galois.com/mailman/listinfo/halvm-devel> > > > > > > -- > Arnaud Bailly > CTO | Capital Match > CapitalMatch > 39A North Canal Road | Singapore 059295 > +33 617 121 978 <tel:%2B33%20617%20121%20978> | [email protected] > <mailto:[email protected]> | www.capital-match.com > <http://www.capital-match.com/> > > Capital Match Platform Pte. Ltd., registered in Singapore (Co. Reg. No. > 201501788H), is a subsidiary of Capital Match Holdings Pte. Ltd. (Co. Reg. > No. 201418682W) (collectively "Capital Match"). > This e-mail message and any enclosures are intended only for the person(s) to > whom it is addressed and may contain information which is confidential and/or > legally protected. Any use, distribution, modification, copying or disclosure > by any person(s) other than the named addressee is strictly prohibited. > Capital Match disclaims all responsibility from and accept no liability > whatsoever for the consequences of any unauthorized person acting, or > refraining from acting, on any information contained in this message. If you > have received this email in error, please inform us immediately and delete it > and all copies from your system. > > E-mail transmission cannot be guaranteed to be secure or error-free as > information could be intercepted, corrupted, lost, destroyed, arrive later or > incomplete, or contain viruses. The sender therefore does not accept > liability for any errors or omissions in the contents of this message which > arise as a result of e-mail transmission. If verification is required, please > request a hard-copy version from the sender. Capital Match makes no > representation or warranty as to the absence of viruses in this e-mail or any > attachments. > > _______________________________________________ > Halvm-devel mailing list > [email protected] <mailto:[email protected]> > http://community.galois.com/mailman/listinfo/halvm-devel > <http://community.galois.com/mailman/listinfo/halvm-devel> > _______________________________________________ > Halvm-devel mailing list > [email protected] > http://community.galois.com/mailman/listinfo/halvm-devel
