On 13 February 2016 at 07:38, Vanshdeep Singh wrote:
>
>
> On Fri, Feb 12, 2016 at 1:14 PM, Thomas Leonard wrote:
>>
>> On 12 February 2016 at 05:56, Vanshdeep Singh wrote:
>> > Hi,
>> > I tried running the my implementation directly on xen and performance
>> > was
>> > much better (no idea why)
Originally, I just stated that opium needs a couple of simple changes to make
all the Unix stuff optional (none of it is essential). But it looks like I was
misinformed about the status of core_kernel.
On February 13, 2016 at 9:16:53 AM, Ashish Agarwal (agarwal1...@gmail.com)
wrote:
Rudi, can
There are still a few minor C stubs left in Core_kernel (around Bigarray
handling). It doesn't quite work out of the box if you link it yet in Xen
mode, last I tried.
Anil
> On 13 Feb 2016, at 14:16, Ashish Agarwal wrote:
>
> Rudi, can you explain further. Do you mean that core_kernel curren
Rudi, can you explain further. Do you mean that core_kernel currently
doesn't support mirage but that some minor fixes will make it mirage
compatible?
On Fri, Feb 12, 2016 at 6:15 PM, wrote:
> The last real obstacle was core_kernel. At this point there’s some minor
> obstacles remaining to make
On 12 February 2016 at 22:41, Sven Anderson wrote:
>> Am 12.02.2016 um 23:33 schrieb rudi.grinb...@gmail.com:
>>
>> Hi Sven, you should probably install ocaml 4.02.3 from opam.
>
> I specifically installed 4.01.0 as described in
> https://mirage.io/wiki/install , because I assumed mirage only wor
