Re: I/O flexpages / new mapping DB issue with overlapping ports
Frank Mehnert <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Organization | InnoTek Systemberatung GmbH |
| Message-ID | <[email protected]> |
Espen, thank you very much for fixing these issues, I will test it as soon I can update my CVS. Another related question comes up: Since the kernel allows Sigma0 to map every I/O flexpage the responsibility lies at the privileged tasks to prevent mapping of I/O ports the kernel uses itself. I assume the same applies to MSRs. However, neither Sigma0 nor root task have any information about the I/O ports and MSRs the kernel is using. Frank -- ## InnoTek Systemberatung GmbH, http://www.innotek.de ##
signature.asc
(application/pgp-signature, 189 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) iD8DBQBEiE+06z8pigLf3EcRAgKJAJ4l4SU3c+Xmji9Bmw7WO5Z2c167dACgiKgH MIlmds6ENP29CKtMoAX19Dk= =3s/4 -----END PGP SIGNATURE-----