Re: PCI arbiter memory mapping

[Samuel Thibault]

I'm fine with using proxies if that happens to be optimized.

But I'm sad seeing FIXME, XXX, etc. in various places that people don't
take the time to implement, and they work around them.

This week-end, I at last managed to get rid of the horrible rmh
kludge in glibc that hurt us several times, and was there only
because nobody took the time to implement gnumach's 10-line-longish
0650a4ee30e34ba039940032fdff3719c1b4b000.

Here, possibly proxies can indeed work properly. But please do look at
what Joan's situation is to make sure it does.

Samuel