From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E9C707EC76 for ; Fri, 22 Jan 2016 10:23:51 +0100 (CET) IronPort-PHdr: 9a23:6JMFUhcOUB4YWNz9dpM3gUnclGMj4u6mDksu8pMizoh2WeGdxc6ybB7h7PlgxGXEQZ/co6odzbGG7ea5ATBLuMzY+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8OVOl0Uz2PnOPtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB1kWlR9BGEDv9hj7VJ73rmOuqup63SCBe8fsRLE+UDK+x6huQR7sziwAMmhq3nvQj5lIhaVfp1qNoBp2z4PTKNWNcvZ5eKrRcNQySm9IX8IXXCtEVNDvJ7ATBvYMaL4L57L2oEED+F7nXVGh Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=p.donadeo@gmail.com; spf=Pass smtp.mailfrom=p.donadeo@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of p.donadeo@gmail.com) identity=pra; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of p.donadeo@gmail.com designates 209.85.223.177 as permitted sender) identity=mailfrom; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f177.google.com) identity=helo; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="p.donadeo@gmail.com"; x-sender="postmaster@mail-io0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CHAQBK9KFWm7HfVdFeg1g0bQaIUaIlkU8ihW0CgTsHPBABAQEBAQEBARABAQEBAQYLCwkhLoItggsKAQEDARIRHQEbHQEDAQsGBQMBBzcCAiEBAREBBQEcBhMIDAYIh2MBAwoIDqEWgTE+MYs0gWmCV4Y+ChknDVGDGQEBAQcBAQEBARUBBQoEhieEcoJJhQOBOgWWd4VGhhiBeIIojFE0hkmGBREfgQ0PKIIcHoFYOy6HIwEBAQ X-IPAS-Result: A0CHAQBK9KFWm7HfVdFeg1g0bQaIUaIlkU8ihW0CgTsHPBABAQEBAQEBARABAQEBAQYLCwkhLoItggsKAQEDARIRHQEbHQEDAQsGBQMBBzcCAiEBAREBBQEcBhMIDAYIh2MBAwoIDqEWgTE+MYs0gWmCV4Y+ChknDVGDGQEBAQcBAQEBARUBBQoEhieEcoJJhQOBOgWWd4VGhhiBeIIojFE0hkmGBREfgQ0PKIIcHoFYOy6HIwEBAQ X-IronPort-AV: E=Sophos;i="5.22,330,1449529200"; d="scan'208,217";a="198693298" Received: from mail-io0-f177.google.com ([209.85.223.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2016 10:23:50 +0100 Received: by mail-io0-f177.google.com with SMTP id 77so82154328ioc.2 for ; Fri, 22 Jan 2016 01:23:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=bl68d2IQswHhLye73qurSaBnmN0lvG2ELmomLMhXg/g=; b=WOYEcgr0JdUD8i674gNuMw03rBUmqKzIlzue56pAzebAdo8aIb0Hskubn+CAnPPW2a nf3iRPtWt+l8yyY2azAr/MDH4kHbEkkjNrFHiUBMYmqG2S9mZhEZNnVYJXBZhJQlQwnr zFXcZcBx2atzSQWuGwmWY3ezOAYql6ns8UmBaqkhGfAImFYZP6Bniw450vwQzp8Wjku7 8ANltrsuLVQwwkSsPEJ0vDY/1F7WZwC+pOQon4zBP8LP9lrYpFCj+HLWGQfiu9V+F4P8 kjCJ7feekuDE+/sxfvdaUkQ+7Wdcajh3yxW7wMODWnqxmwuCrTBlz3klGdOMzolmXjR+ hh2A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=bl68d2IQswHhLye73qurSaBnmN0lvG2ELmomLMhXg/g=; b=hEd+lW5WLzEAHL8JCeoYz6C8mpcacEV6JFbqKuXd1cSUODDWI7APNyQFJAq7fyIlkX jY4SnhrOZrBm65ENL/AAZ6f6AoabsAYuiDXDyZUgX6/z3+CyCMUZnJOXCHwUIp95qKF1 qv/vy3p0/ySIKVEWrN2pJGfM0FEvp7LqB5zMGV5YIqpNOhv6yu759GENIDly//uCBWoM 6TcXW6FBN4fgOyKd5sc13mRg6GzLL/l8Ny8X0Y27j/Nrz6VU1FW5SdOjNc1LbCE/5eUV ZJVr6vDwC9DHDMhVjTgfH9bnT3tQvmTCAsAlN34ooVRJCTCJEVZs0d3AZJqKq9izD2OA Scww== X-Gm-Message-State: AG10YOTQkuEIoQXKyIyv7o+gf1FlvywgFYy+vGNwUYyCNDZ89goDprnnn9iO6mkYbI6H4w1mXb7muWKJn26d0A== X-Received: by 10.107.184.67 with SMTP id i64mr3064842iof.4.1453454630030; Fri, 22 Jan 2016 01:23:50 -0800 (PST) MIME-Version: 1.0 Received: by 10.64.241.228 with HTTP; Fri, 22 Jan 2016 01:23:10 -0800 (PST) In-Reply-To: References: From: Paolo Donadeo Date: Fri, 22 Jan 2016 10:23:10 +0100 Message-ID: To: Thomas Braibant Cc: OCaML Mailing List Content-Type: multipart/alternative; boundary=94eb2c0770f4eb94130529e8c6a5 Subject: Re: [Caml-list] In the news: Unikernel Systems joins Docker --94eb2c0770f4eb94130529e8c6a5 Content-Type: text/plain; charset=UTF-8 WOW, congratulations! On Fri, Jan 22, 2016 at 8:50 AM, Thomas Braibant wrote: > Congratulation to the Mirage team! > > http://unikernel.com/ > http://blog.docker.com/2016/01/unikernel/ > > I believe this is good news for the OCaml community in general. > > Tom > -- *Paolo* --94eb2c0770f4eb94130529e8c6a5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
WOW, congratulations!


<= div class=3D"gmail_extra">
On Fri, Jan 22, 20= 16 at 8:50 AM, Thomas Braibant <thomas.braibant@gmail.com><= /span> wrote:
Congr= atulation to the Mirage team!

http://unikernel.com/

I believe this is= good news for the OCaml community in general.=C2=A0

Tom



--
Paolo
--94eb2c0770f4eb94130529e8c6a5--