Re: PCI arbiter memory mapping

[Joan Lledó]

Hi,

These patches implement device memory mapping in the arbiter by using the new 
gnumach RPC