RE: Double allocation of UTCB__MAPPING in Pistachio
Philipp Kupferschmied <[email protected]> Mon, 23 Feb 2009 11:09:26 +0100
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
> I guess, the first mapping should be removed. Am I right? I think you're right. Seems as if this had been introduced when the implementations for IA32 and AMD64 were merged. I removed the first mapping. Thanks for the hint, Philipp