From here: http://www.embeddedarm.com/products/arm-sbc.php#ts-7800-500mhz-series
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 here: http://www.mail-archive.com/xenomai@xenomai.org/msg00071.html
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 this: http://oz.embeddedarm.com/~michael/support/ts7800.html
But, can't find something related to SoC there.
How do I find out the exact SoC this ARM board uses?