From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thomas.braibant@gmail.com>
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 77E2D7EC76
	for <caml-list@sympa.inria.fr>; Fri, 22 Jan 2016 08:51:15 +0100 (CET)
IronPort-PHdr: 9a23:k32g7RBfZSn0OV7w3yG/UyQJP3N1i/DPJgcQr6AfoPdwSP7ypcbcNUDSrc9gkEXOFd2CrakU1ayP6/yrADVaqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770osWPKFwR3nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1w3W0Ay2j9BAgzE6h6yepbqrmOuveN43GyePNbqZbEyQzWrqalxHkzGkiACYgI592TekYRalqtaqhunu1Qr347TZYiOcvBkd6LXdNUGbWVEV8dVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ==
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=thomas.braibant@gmail.com; spf=Pass smtp.mailfrom=thomas.braibant@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f174.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thomas.braibant@gmail.com) identity=pra;
  client-ip=209.85.223.174;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="thomas.braibant@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  thomas.braibant@gmail.com designates 209.85.223.174 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.223.174;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="thomas.braibant@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-f174.google.com) identity=helo;
  client-ip=209.85.223.174;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="thomas.braibant@gmail.com";
  x-sender="postmaster@mail-io0-f174.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AXCwAJ36FWm67fVdFehAxtBoQShD+iIoUSiiKCGxgBCYcnBzsRAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYILIhEdARseAxIIAQIFNwIkAREBBQEiJwYIh2MBAxIOnnmCB4ExPjGLNIFpgleGPgoZJw1Rgz0BBQoEhieMBgstE4EnBZZ3hUaIEIIojFE0jE4RH4ENDyeBYwEBCAEBAQFKgVc8LocjAQEB
X-IPAS-Result: A0AXCwAJ36FWm67fVdFehAxtBoQShD+iIoUSiiKCGxgBCYcnBzsRAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYILIhEdARseAxIIAQIFNwIkAREBBQEiJwYIh2MBAxIOnnmCB4ExPjGLNIFpgleGPgoZJw1Rgz0BBQoEhieMBgstE4EnBZZ3hUaIEIIojFE0jE4RH4ENDyeBYwEBCAEBAQFKgVc8LocjAQEB
X-IronPort-AV: E=Sophos;i="5.22,329,1449529200"; 
   d="scan'208,217";a="198671309"
Received: from mail-io0-f174.google.com ([209.85.223.174])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jan 2016 08:50:55 +0100
Received: by mail-io0-f174.google.com with SMTP id q21so80507042iod.0
        for <caml-list@inria.fr>; Thu, 21 Jan 2016 23:50:55 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=76A4895G20Hj9ToAJTWT/VTDeVXlDLZhnLR6Gs3F1Lc=;
        b=aSTvlHeU2bq7AeUgWnCQNOkFqZasLhkZ/9KRthmzm2NX0UcPf4gKEF0rjeVTxfhvRk
         7fQk5n/V5XoivaDndUdFt0L6Mxu1T5hJ/9PoprnqU8cb7nRhbrJqTib1eBtCvKYZitPf
         0YRxtflli8xI6fePSL2a054ERjvjKBHwO43sVp03XLkbxzYydouZs4MjdEoJZN509+/m
         BChU2U7UyBHKE7Qom4Ea8SNBvK9ku1BcvS/59oHPZxCTfMZUqkxsV0anHLUUSPiIO1PY
         r8KWjVJrxI8/me+rBypQvg072lK4btpwD2LU8RzBKaCkseTiHhjbu4efpYm4KeHXNZLQ
         hi7A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:from:date:message-id:subject:to
         :content-type;
        bh=76A4895G20Hj9ToAJTWT/VTDeVXlDLZhnLR6Gs3F1Lc=;
        b=NSqPTUKbk7vs8rK9+BLJRWt78dnMaZ1E7+J5zyTHNMlnepvI8W0KUz0ES9zW0FRuPh
         zBLTOWk9klJvjyZU+R59s/+hU5qJmro+tf5XERvtE+y2gCnLN7+BQCJJ/RDngScalPEk
         pd6XI3Wf4yUzwOiMrJAVeLyygTDyWD2M1B5pnu+8Bg7mBv1k4XmXOStbnxdlWN0RINvF
         AI5ApLkBKjlnG+zRRrBZHS3LCBowsyOZTtnvXQCM/64/LD1KQh1EGOhgkxY0NnpnWxn4
         8G9lL2HTsRhVYvmFkNImmZYctskIn92rPrlKoDZugYGni55T/rXxXg4Du84tuomiTHfK
         VVjA==
X-Gm-Message-State: AG10YOTkrhbNIFBHOyp8tkIHs/N9+RSLoDb+9eXlWwSJZhlSKBoMz+xECG76GRYiiL+ingyV/ZaZu4NreToy1g==
X-Received: by 10.107.10.215 with SMTP id 84mr2611260iok.106.1453449053856;
 Thu, 21 Jan 2016 23:50:53 -0800 (PST)
MIME-Version: 1.0
Received: by 10.64.60.130 with HTTP; Thu, 21 Jan 2016 23:50:34 -0800 (PST)
From: Thomas Braibant <thomas.braibant@gmail.com>
Date: Fri, 22 Jan 2016 07:50:34 +0000
Message-ID: <CAHR=VkwBqkYOgR8aL=m214dXdh10LYFQOwEaY2156=bfaeKtmg@mail.gmail.com>
To: OCaML Mailing List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a113fbc0e8def550529e77abd
Subject: [Caml-list] In the news: Unikernel Systems joins Docker

--001a113fbc0e8def550529e77abd
Content-Type: text/plain; charset=UTF-8

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

--001a113fbc0e8def550529e77abd
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Congratulation to the Mirage team!</div><div><br></di=
v><a href=3D"http://unikernel.com/">http://unikernel.com/</a><br><div><a hr=
ef=3D"http://blog.docker.com/2016/01/unikernel/">http://blog.docker.com/201=
6/01/unikernel/</a><br></div><div><br></div><div>I believe this is good new=
s for the OCaml community in general.=C2=A0</div><div><br></div><div>Tom</d=
iv></div>

--001a113fbc0e8def550529e77abd--