At 10:19 AM -0800 2/24/97, Jonathan S. Shapiro wrote:
>1. Introduce a new primary key type, "large capability page"
>....
>address must be aligned to a 16 byte boundary (i.e. a capability
>boundary). If ADDRESS resolves to a data page, the instructions
>generate a privilege violation. Similarly, if normal load/store
>instruction addresses resolve to a large capability page, the
>instructions generate a privilege violation.
Note that this change limits the maximum size of a capability. It also prevents you from shrinking the size in a tiny implementation.
This proposal also has implementations for verifying the implementation of the kernel.
Bill Frantz | Back from caving in Borneo.| Periwinkle -- Consulting (408)356-8506 | Great caves. We mapped | 16345 Englewood Ave. frantz@netcom.com | 25KM on the expedition. | Los Gatos, CA 95032, USA