RE: Any way to map physical address 0xe0000000?

> I think I understand what you mean, but in this case how come that
> Sigma0 itself cannot write to this memory without being caught by the
> kernel? i.e. something like:
> 
> *((int *)0xe0000000) = 0;
> 
> In Sigma0 raises this message :
> 
> sigma0 accessed kernel space @ e0000000, ip=00020438 - deny
> 
> Therefore I assumed that Sigma0 cannot map this memory since it can't
> even write it. Or am I mistaken again?

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. 

-Jan

--
Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: +49 (721) 608-4056 
Fax: +49 (721) 608-7664 
eMail: [email protected]