Hi Geert,
I discussed a bit more with Jens, and he's not worried at all, as noaccelerator card implements RMW bus cycles. So it should just work, likewith all other memory we're running Linux in now. So, let's try?
What could possibly happen to modify the page tables without the CPU getting involved? DMA?
Let's give this a try. Cheers, Michael