On 7/7/08, l4-hackers-request@os.inf.tu-dresden.de <l4-hackers-request@os.inf.tu-dresden.de> wrote:

Date: Sun, 6 Jul 2008 23:51:46 +0200
From: Adam Lackorzynski <adam@os.inf.tu-dresden.de>
Subject: Re: about Conventional Memory Region
To: l4-hackers@os.inf.tu-dresden.de
Message-ID: <20080706215146.GJ7899@os.inf.tu-dresden.de>
Content-Type: text/plain; charset=iso-8859-1

Hi,

On Sun Jul 06, 2008 at 21:49:03 +0800, Zhang Yinfei wrote:
> As in *Mem_region Kip::last_free() const*, the function try to find the
> highest *Conventional* memory region's physical address. (I guess it gets
> physical memory bottom in the first time?).  However in *void
> Kip_init::init(),* I only see one Conventional memory region which stores
> virtual address. Where does last_free() get the physical address??
>
> And in bootstrap, I see it manipulate KIP. I thought at that time, KIP is
> not initialize, because bootstrap runs before Fiasco Startup, where
> Kip_init::init() is called.

The KIP data structure is indeed in the kernel binary but it is filled
with memory descriptors by bootstrap. I.e. look for find_kip in
bootstrap which looks for the KIP in the kernel. Kip_init::init() does
setup a few things in the KIP but it does not start from scratch with
the memory descriptors.

Adam
--
Adam                 adam@os.inf.tu-dresden.de
Lackorzynski         http://os.inf.tu-dresden.de/~adam/

------------------------------

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

End of l4-hackers Digest, Vol 63, Issue 5
*****************************************