From mirageos-devel-bounces@lists.xenproject.org Tue Mar 08 13:16:28 2022
Return-path: <mirageos-devel-bounces@lists.xenproject.org>
Envelope-to: archives@lists.xenproject.org
Delivery-date: Tue, 08 Mar 2022 13:16:28 +0000
Received: from list by lists.xenproject.org with outflank-mailman.286849.486516 (Exim 4.92)
	(envelope-from <mirageos-devel-bounces@lists.xenproject.org>)
	id 1nRZhH-0008JC-9N; Tue, 08 Mar 2022 13:16:15 +0000
X-Outflank-Mailman: Message body and most headers restored to incoming version
Received: by outflank-mailman (output) from mailman id 286849.486516; Tue, 08 Mar 2022 13:16:15 +0000
Received: from localhost ([127.0.0.1] helo=lists.xenproject.org)
	by lists.xenproject.org with esmtp (Exim 4.92)
	(envelope-from <mirageos-devel-bounces@lists.xenproject.org>)
	id 1nRZhH-0008J5-5l; Tue, 08 Mar 2022 13:16:15 +0000
Received: by outflank-mailman (input) for mailman id 286849;
 Tue, 08 Mar 2022 13:16:14 +0000
Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254]
 helo=se1-gles-sth1.inumbo.com)
 by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from
 <SRS0=9fqg=TT=mehnert.org=hannes@srs-se1.protection.inumbo.net>)
 id 1nRZhG-0008Iz-3L
 for mirageos-devel@lists.xenproject.org; Tue, 08 Mar 2022 13:16:14 +0000
Received: from mail.mehnert.org (mail.mehnert.org [213.73.89.200])
 by se1-gles-sth1.inumbo.com (Halon) with ESMTPS
 id ea2788a6-9ee1-11ec-8eba-a37418f5ba1a;
 Tue, 08 Mar 2022 14:16:09 +0100 (CET)
Received: from [192.168.42.80]
 (dslb-188-102-135-122.188.102.pools.vodafone-ip.de [188.102.135.122])
 (using TLSv1 with cipher AES128-SHA (128/128 bits))
 (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified))
 by mail.mehnert.org (Postfix) with ESMTPS id B91B5184CF
 for <mirageos-devel@lists.xenproject.org>;
 Tue,  8 Mar 2022 14:16:06 +0100 (CET)
X-BeenThere: mirageos-devel@lists.xenproject.org
List-Id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/mirageos-devel>, 
 <mailto:mirageos-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:mirageos-devel@lists.xenproject.org>
List-Help: <mailto:mirageos-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/mirageos-devel>, 
 <mailto:mirageos-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: mirageos-devel-bounces@lists.xenproject.org
Precedence: list
Sender: "MirageOS-devel" <mirageos-devel-bounces@lists.xenproject.org>
X-Inumbo-ID: ea2788a6-9ee1-11ec-8eba-a37418f5ba1a
Message-ID: <1f757db3-964e-0824-6fcf-7bf6c584ebae@mehnert.org>
Date: Tue, 8 Mar 2022 14:16:06 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:91.0) Gecko/20100101
 Thunderbird/91.5.0
To: mirageos-devel@lists.xenproject.org
Content-Language: en-US
From: Hannes Mehnert <hannes@mehnert.org>
Subject: Binary builds and deploying MirageOS unikernels
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit

Dear all,

we at robur have been busy with reproducible binary builds (of opam 
packages and MiageOS unikernels), and are delighted to announce that you 
can now install and run unikernels without compiling OCaml.

Have a look at the overview blog post 
https://mirage.io/blog/deploying-mirageos-robur -- or jump directly into 
the instructions at  https://robur.coop/Projects/Reproducible_builds

The builds are hosted on https://builds.robur.coop

Let us know if you have any questions or feedback.


Best,

Hannes in the name of the robur team


