From mboxrd@z Thu Jan  1 00:00:00 1970
From: Fco.J.Ballesteros <nemo@plan9.escet.urjc.es>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] booting
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Message-Id: <20011128150412.922D9199D7@mail.cse.psu.edu>
Date: Wed, 28 Nov 2001 16:45:32 +0100
Topicbox-Message-UUID: 2c06582a-eaca-11e9-9e20-41e7f4b1d025

Sorry, I was trying to say that looks like the kernel had to setup its
boot page table, etc. before 9load arrived. ---I was not referring
to loading the kernel; again, sorry if the text says that.

In any case, I'd love to see the answer to your question  ☺.