Re: Any way to map physical address 0xe0000000?

Hello Jan, thanks for your reply.

>  Physical memory lying in the kernel area (i.e., beyond 3GB) cannot be mapped
>  idempotently. You need to remap that memory to a virtual address in user
>  area. You can do so by leveraging sigma0's RPC protocol (see the spec,
>  chapter 7.6), requesting sigma0 to map the VGA or other device memory to a
>  specified virtual address.

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?

Alex.