Pistachio memory layout
Javier Cabezas Rodríguez <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <1158875307.6758.2.camel@ubuntu> |
Hi, 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? Thanks in advance. [1] - www.elis.ugent.be/diablo/ -- Javier Cabezas Rodríguez Phd. Student - DAC (UPC) [email protected]
signature.asc
(application/pgp-signature, 189 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQBFEwir7q9eX0wTM/URAhejAJ9WRP/DNh0F8Z6irWJ7Zi47KxuKrACfapCn Jz5JRXMIVJ9spowfjs56BEg= =AtVk -----END PGP SIGNATURE-----