x86 reference platform ideas?

[shuhaowu]

Does the working group know of a x86 machine that people can buy and setup with the RT kernel to produce good results? I've bought some Dell Vostro computers before and they had pretty bad SMI-related latencies of ~1200us (400us per but they somehow are piling together...?). Do we know of a machine that people can use as a standard reference hardware? Preferably it's something that's easily obtainable (so preferably from a major manufacturer like Dell and Lenovo) rather than specialized hardware?

[razr]

I have an UP2 board from Intel, it is a Raspberry Pi format.