help: which sdk support s3c2410 board?

[zhhwu at shu.edu.cn]

hi all:
on this web(http://wiki.ok-labs.com/FrontPage), i find 4 SDKs for ARM,

ARM926ejs 3.0
ARM1136js 3.0
ARM920t 3.0
XScale 3.0

which package of these four, can run on skyeye(simulating s3c2410 board)?

and what does the skyeye.conf look like?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3050 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20090411/96cb0154/attachment.bin>