On 04/29/2011 02:17 AM, Peter Maydell wrote:
The theoretical aim there as far as I'm concerned is architectural correctness -- in other words we should be a valid implementation of the architecture,
That's not even the case for x86. It should be a goal, however, that with mainstream kernels user programs shouldn't be able to see the difference. There are some known issues besides bugs, for example the "instruction pointer of the last FP instruction" register (!) is not implemented.
Paolo
