The TS-7800 series of single board computers provides 3 times the performance of the TS-7200 series with the same footprint, using a Marvell 500MHz ARM9 SoC.
From ARM9 TS-7800 Xenomai support
The link you quote provides only very vague information like "using a Marvell 500MHz ARM9 SoC" (which can be anything) or "use a recent Linux kernel 2.6" (which means they are plain OLD - recent means v3.4 or later). This may be sufficient for marketing material, but not for answering technical questions.
I found TS-7800 User's Manual. But, I can't find something related to SoC there.
How do I find out the exact SoC this ARM board uses?