From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <1e5941b0ed456ec517f7471b3cad546f@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Fri, 13 Sep 2013 21:28:34 +0100
In-Reply-To: <CAG3N4d_SOw1-Quoz=P_ZVqAjeihyXEhQPKvJkNnFDt2BL_6CKg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] xen3: fresh build 9xenpccpuf dies on boot
Topicbox-Message-UUID: 7f6d15c2-ead8-11e9-9d60-3106f5b1d025

> Thanks, Erik, your guess is absolutely right... Richard, do you mind
> updating /n/sources/xen/xen3/9/xen3/main.c?

Done, thanks to both of you.