From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 519CF7F616 for ; Thu, 23 Feb 2017 19:04:51 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AiV5A7h9jHZp44/9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0uIcTK2v8tzYMVDF4r011RmSDNidsqIP0rKI++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?Dq3PF4XTl8W60fyps92WOl0QxWn1XbQnCRSwoRSZjtMbmpdlLO5lzxrPrmpgYO?= =?us-ascii?q?NTyHlhI16Umhfw58CsupVk9nIDlegm8ptpV6T+N4ExQbxREj0+Pmw59YW/vB/C?= =?us-ascii?q?SSOV63AbU2FQlQBHVVuWpCrmV4v853Op/tF23zOXaIivFeg5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DfBAA2I69Y/zPhmQVdHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBgyVhgQmOVZBpl0EqhXgCCIMbQhUBAQEBAQEBAQEBAWEogjM?= =?us-ascii?q?EAR0BBIIXAQU6BgMBNQEBDgsYLlcGE4l5AQmtboMOgwgHAogvAQEBAQEFAQEBA?= =?us-ascii?q?QEBAQEBAQEUAQiIUYJqhFSDNIIxnBmGdIswaYFljkOOeIQwNSKBAGEIPhEBgii?= =?us-ascii?q?ED3WJd4FPAQEB?= X-IPAS-Result: =?us-ascii?q?A0DfBAA2I69Y/zPhmQVdHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BgyVhgQmOVZBpl0EqhXgCCIMbQhUBAQEBAQEBAQEBAWEogjMEAR0BBIIXAQU6B?= =?us-ascii?q?gMBNQEBDgsYLlcGE4l5AQmtboMOgwgHAogvAQEBAQEFAQEBAQEBAQEBAQEUAQi?= =?us-ascii?q?IUYJqhFSDNIIxnBmGdIswaYFljkOOeIQwNSKBAGEIPhEBgiiED3WJd4FPAQEB?= X-IronPort-AV: E=Sophos;i="5.35,198,1484002800"; d="scan'208";a="261843394" Received: from bark.recoil.org ([5.153.225.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Feb 2017 19:04:50 +0100 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id 89c3b414; Thu, 23 Feb 2017 18:04:49 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=7H1L7+rltJe3tocYEO1OdqkEKHk=; b=Mkxl28WjDUHqSl7miv OAZ/vKW7IIGeCynGiuHneAtZgLpNLEUEO9HC9xw64jJQrOv6FQp7t0aM4B36OSqE mKp5H+wC8IXncDD3AfqhtPhYIaxtEjn8IjBgpi4Ba03QHoEuWoLGG5GWvuukEdtg ZWYWZjlIDEOzlGRZXcmrSuj+I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=dyzLSucMbmx2KibkaYyvwPecg/XYCi4pcvpIx4qoQcqt6USC2io clx3hN/JlBRRBCHpRTPDbg3R/Bja5rUbsj+NbbQOOBF0DosC9teCn7QvjIfPexEk vvA7bNacYSg1bzv35yaOUJkfELX3JhIR10FaTHssgEXxlpUpr61zLe7Q= Received: from dock.cam.docker.com (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id c4ecb304 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Thu, 23 Feb 2017 18:04:49 +0000 (GMT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) From: Anil Madhavapeddy In-Reply-To: Date: Thu, 23 Feb 2017 18:04:48 +0000 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: To: Mindy Preston X-Mailer: Apple Mail (2.3259) Subject: Re: [Caml-list] [ANN] mirage 3.0.0 On 23 Feb 2017, at 17:33, Mindy wrote: >=20 > Hello! >=20 > It is my great pleasure to announce that Mirage version 3 has been releas= ed into opam-repository. Allowing for the time necessary to sync `opam.oca= ml.org`, you should soon be able to upgrade to Mirage 3. You'll need to be = using OCaml version 4.03.0 or later. >=20 > For more information on what's in Mirage 3, check out the blog post at ht= tps://mirage.io/blog/announcing-mirage-30-release . (There's also a version= hosted on the new Solo5 backend at http://solo5.mirage.io/blog/announcing-= mirage-30-release !) >=20 > We've prepared a porting guide at https://mirage.io/wiki/mirage2-to-mirag= e3 for those of you want quick help getting your unikernels up and running = in the new universe. The introductory content at https://mirage.io/wiki/he= llo-world (and https://github.com/mirage/mirage-skeleton , to which it refe= rs) has also been updated, if you're looking to get started with Mirage for= the first time. And to the more experienced OCaml'ers, one of the more exciting aspects of = switching to a baseline of OCaml 4.03 is that we can finally start taking a= dvantage of new features such as flambda now. The executable part of a typ= ical Mirage unikernel is a set of functor applications that link in the rel= evant device drivers, and so we're hoping to see a real performance and eff= iciency benefits from the compiler. So if you are interested in this sort of topic, we'd love to help you get i= nvolved and to contribute. Many of the libraries (see http://docs.mirage.io= ) can run just fine in a normal Linux or macos laptop, without requiring a = hypervisor, and the vast amount of development is using a normal OCaml deve= lopment environment. regards, Anil=