Christian Sühs wrote:
Good question, I don't know. I hope you has some answers :D
First, obvious possible issue is that C segment is not cached.
Well, at the moment c0000 - cffff are not cached, they are only r/w and pci accessable
Please make them cached.
thanks
ron