[okl4-developer] IO port access control

[Nelson Tam]

Hi Dhiraj,

On 20/02/2008, at 5:56 AM, Kalamkar, Dhiraj D wrote:

> I remember NICTA version of L4 had concept of IOPages to grant  
> access to h/w IO ports on IA32. I wonder if current release of OKL4  
> continues to use that concept and if yes, is io bitmap implemented  
> in ukernel to enforce this access control?

In OKL4 we have unified IO ports access into the device driver  
framework, so yes, it is still supported.

At the moment the access control policy is coarse-grained, but the  
support mechanisms for finer control are already in place.
--
(nt)

Nelson Tam
nelson at ok-labs.com