From mboxrd@z Thu Jan 1 00:00:00 1970 From: Anil Madhavapeddy Subject: Re: [PATCH RFC 0/5] Split off mini-os to a separate tree Date: Mon, 26 Jan 2015 21:19:15 +0000 Message-ID: References: <1422209626-9926-1-git-send-email-wei.liu2@citrix.com> <20150125182511.GA24026@zion.uk.xensource.com> <20150126174211.GB5686@nodbug.moloch.sk> <98B23BAC-32C9-4DC0-B6FA-2B5DB121EC73@recoil.org> Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Thomas Leonard Cc: Wei Liu , Ian Campbell , Stefano Stabellini , Ian Jackson , xen-devel@lists.xen.org, pooka@iki.fi, quan.xu@intel.com, Samuel Thibault , dgdegra@tycho.nsa.gov, Martin Lucina List-Id: xen-devel@lists.xenproject.org On 26 Jan 2015, at 18:49, Thomas Leonard wrote: > > On 26 January 2015 at 17:56, Anil Madhavapeddy wrote: >> On 26 Jan 2015, at 17:42, Martin Lucina wrote: >>> >>> talex5@gmail.com said: >>>> In case it's useful: for the standalone version of Mini-OS used by >>>> Mirage, I had to include these directories too: >>>> >>>> 1. xen/include/public >>>> 2. xen/common/libfdt >>>> 3. xen/include/xen/libfdt >>>> 4. config >>>> >>>> ( https://github.com/talex5/xen/tree/minios-releases ) >>> >>> Ah, so that's where the Mirage fork of Mini-OS lives. I knew there was one, >>> but not where. Any other forks please speak up :-) >>> >>> Which parts of Mini-OS does Mirage actually use? I know you have an OCaml >>> implementation of netfront, for instance. >> >> Not very much of Mini-OS -- Mirage has everything from the ring protocol >> up (XenStore, NetBack/Front, BlkBack/Front, Console, etc are all in OCaml). >> So event channels and start of day boot, mainly. >> >> It is useful to have the C XenBus around for start-of-day logging though, >> since the emergency console isn't much use on public cloud services. > > Actually, we don't use C XenBus either. The Mirage start_kernel is: Sorry, I meant the C ring macros for the start-of-day logging. We write directly to the console using them from the C printk, whereas the Mirage libraries use an OCaml reimplementation in the shared-memory-ring OPAM package. XenBus and the C coop thread library in MiniOS isn't used in Mirage. -anil