Linux support for Samsung S3C2510A Processor

[Madhavi Manchala]

Dear All,

Does Linux kernel supports the Samsung S3C2510A processor? Why am I
asking this question is, when I looked into  the arch/arm/ directory I
did not find anything which is related to Samsung S3C2510A processor.
There are other directories like mach-s3c24xx and mach-s3c64xx
directories, but not mach-s3c25xx.

Any ideas / hints will be appreciated.

Thanks and Regards,
Madhavi M.