Hi Adam,
Thanks for the reply. But I cannot find any symbol called find_kip in the fiasco source code. For bootstrap, do you mean those source files in kernel/fiasco/src/boot/ia32/ ?I just want to know where is the source code which start the KIP from scratch . Thanks.
Best Regards, Zhang Yinfei
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
Hi,
On Mon Jul 07, 2008 at 22:10:28 +0800, Zhang Yinfei wrote:
Thanks for the reply. But I cannot find any symbol called find_kip in the fiasco source code. For bootstrap, do you mean those source files in kernel/fiasco/src/boot/ia32/ $B!)(BI just want to know where is the source code which start the KIP from scratch . Thanks.
No, sorry. I meant the code in l4/pkg/bootstrap. The find_kip is there.
Adam
l4-hackers@os.inf.tu-dresden.de