From mboxrd@z Thu Jan  1 00:00:00 1970
From: Grzegorz Milos <gm281@cam.ac.uk>
Subject: Re: [PATCH] MiniOS timeouts
Date: Wed, 15 Nov 2006 19:15:00 +0000
Message-ID: <455B6734.3070109@cam.ac.uk>
References: <455A12F1.9050506@cam.ac.uk>
	<37589CF2-B416-463B-92D2-5E23E68C390D@recoil.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
In-Reply-To: <37589CF2-B416-463B-92D2-5E23E68C390D@recoil.org>
List-Unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: Anil Madhavapeddy <anil@recoil.org>
Cc: xen-devel <xen-devel@lists.xensource.com>
List-Id: xen-devel@lists.xenproject.org

> MiniOS has been fine for me since I added the XEN_INTERFACE_VERSION to 
> freeze the interface it uses; of course that means that it will slip 
> behind unless we keep it up-to-date  (e.g. still uses dom0_ops.h).  
> Refreshing it to the latest would be worthwhile if you have a moment!

Ok, I'll have a look on that when I'm finished with Dietmar's patches.

Cheers
Gregor