Re: l4ka Digest, Vol 30, Issue 12

[Espen Skoglund]
>   o Make use of unused bits in the 32 bit fpage that allows more
>     than 4GB to be expressed.  For example, on IA32, use the bit 10
>     and 11 in the fpage to denote bits 32 and 33 in the address
>     space.  This extends the address space to 16GB.  Or, use the
>     unused bit in the rights field to denote memory above 4GB, only
>     allow 4MB pages above this limit, and use bits 10-22 to denote
>     the bits above 31.

I meant to say 2MB pages here.  Also, just to be clear, what I mean by
supporting only 2MB pages above this limit is that sigma0 can only map
chunks of 2MB.  The address spaces receiving mappings from sigma0 can
still map them in smaller chunks.

	eSk