On Thu, Aug 13, 2015 at 12:03 AM, Raymond Jennings <[email protected]> wrote: ......
> Would having a capability for the page directory in question suffice to > assure security? > > Not sure I can answer this. I am inclined to think that a policy that had this capability would only be secure if the capability was not assigned to anything. For debugging some troubling things are sometimes necessary but production is another world. -- T o m M i t c h e l l
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
