Re: Any way to map physical address 0xe0000000?

> Yes, you're mistaken :-) -- sigma0 doesn't need to "touch" the memory before
> mapping it to someone else. Sigma0 just sends a map IPC, which causes the
> kernel to insert valid mappings into the receiver's address space.

This is what I missed, indeed. Sorry about this, I have been disturbed
by the fact sigma0 could not write to this memory. But mapping it to a
valid address in another address space using sigma0 protocol works
perfectly, as you and Espen stated. Thanks to the both of you!

Alex.