请问类似UCOS的系统能在ARM11的处理上运行吗？

通过玩STM32知道了UCOS操作系统，目前我手里还有一块儿ARM11的板子，主控是三星OK6410处理器，不知道这类的处理器能否跑UCOS系统？
我看部分板子都支持好多工业总线。
如果ARM11这类的芯片可以跑WINCE这类带有界面的操作系统，那如果STM32外设足够也可以跑WINCE系统了。
只是在浏览嵌入式开发板时突发的想法，很想知道。