Re: Pistachio memory layout

Espen Skoglund <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]> 
[Espen Skoglund]
> [Javier Cabezas Rodríguez]
>> I'm still working on the Diablo[1] linker optimizer support for
>> pistachio microkernels. The main problem we have now is that the
>> memory layout of the microkernel is quite confusing. More specific,
>> do you know why vma != lma for all non-.init sections? Is there any
>> document where these kind of things are explained?

> The lma indicates at which physical address the bootloader places
> the code.

By bootloader here, I mean kickstart.

	eSk
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.