On 09/11/2015 15:21, Anil Madhavapeddy wrote:
> Just fyi, I also got another off-list reply pointing to:
>
>> The gigabyte MP30-AR0 boards are nice and very affordable:
>>
>> http://b2b.gigabyte.com/products/product-page.aspx?pid=5422#ov
>>
>> includes the X-gene 1 processor. They cost around $700
@mindy, jeremy, gareth: Sweet, don't hesitate to ask questions !
For the json export, that should be quite easy, all those informations
are already gathered in two data structures ("Info.t" and the graph).
You won't be able to export what you call the "pattern" easily though,
because the pars
Just wanted to give a general thumbs up for Functoria, I added another
module to mirage-types and it was a really simple experience to get it into
the code generation.
On Sat, Oct 31, 2015 at 1:20 AM, Thomas Gazagnaire
wrote:
> Hi all,
>
> We are preparing the next release of the mirage tool, wh
The link for the call is: https://meet.jit.si/MirageOS
> On 10 Nov 2015, at 22:18, Amir Chaudhry wrote:
>
> Hi folks,
>
> The next MirageOS call will take place on Wednesday afternoon at 4pm GMT and
> is open to all.
>
> We'll continue using Jitsi [1] and I’ll post the link shortly before the
Coincidentally B-trees came up recently on Ocaml-list:
https://sympa.inria.fr/sympa/arc/caml-list/2015-11/msg00011.html
On 2015-11-11 09:58, Rupert Horlick wrote:
Hmm, it seems like that is built on top of a few packages that don't
exist any more to interface between Baardskeerder and Mirage.
Since it's for a project, take all of this with a pinch of salt: (random
thoughts follow)
A simple b-tree on disk would probably be much like an in-heap b-tree,
except the nodes would be naturally wider and you would also need to track
and reclaim free blocks (which the GC would normally do for yo
Hi Luis,
It shoud all be synced with the ppa:avsm/ppa stable repository now, and I've
tested it in a Docker container to make sure the repo is consistent.
Thanks for the reminder -- I hadn't done this until you sent me the email.
cheers,
Anil
> On 11 Nov 2015, at 00:09, Luis A. wrote:
>
> Hi
PRs sent.
Probably useful to double-check I didn't get over-enthusiastic... :)
I left the `config.ml` files in place so that the `xen/` subdirs
remain to make it easy to recover any specific unikernel.
On 11 November 2015 at 02:11, Richard Mortier
wrote:
> Will do unless someone beats me to the
Hmm, it seems like that is built on top of a few packages that don't exist
any more to interface between Baardskeerder and Mirage.
Do you think it's worth doing a simple B-Tree implementation myself, or
would it be better to try and build a new interface module for Mirage and
Baardskeerder?
A B-T
On 11 November 2015 at 01:55, Thomas Gazagnaire wrote:
>> 2. I'd love to be able to get at the configuration options as data, in
>> an ideal world JSON, probably something like a generated JSON schema
>> (http://json-schema.org/)
>>
>> My rationale for the last part is integration with other tools
10 matches
Mail list logo
