最近买了T113-S3的板子来入门linux驱动开发，在编译SDK完后，再次make的时候会让选择ARM system type，里面12个没有T113-S3，小白问一下这个要选择那个？
ARM system type
> 1. Allow multiple platforms to be selected (ARCH_MULTIPLATFORM) (NEW)
2. EBSA-110 (ARCH_EBSA110) (NEW)
3. EP93xx-based (ARCH_EP93XX) (NEW)
4. FootBridge (ARCH_FOOTBRIDGE) (NEW)
5. IOP32x-based (ARCH_IOP32X) (NEW)
6. IXP4xx-based (ARCH_IXP4XX) (NEW)
7. Marvell Dove (ARCH_DOVE) (NEW)
8. PXA2xx/PXA3xx-based (ARCH_PXA) (NEW)
9. RiscPC (ARCH_RPC) (NEW)
10. SA1100-based (ARCH_SA1100) (NEW)
11. Samsung S3C24XX SoCs (ARCH_S3C24XX) (NEW)
12. TI OMAP1 (ARCH_OMAP1) (NEW)
choice[1-12?]:
离线