ok335x linux-3.2可以实现硬实时否？rtlinux 或者RTAI

本人由于实习工作需要硬实时环境，研究arm下硬实时两周了，其中前辈选择了 ok335xs  支持的linux版本为Linux-3.2.0，一开始1、尝试了，RTAI补丁的 移植，结果可想而知，结果就是pc机成了硬实时的，嵌入式板子 却未能如愿。 2、又尝试了RTLINUX 一天过去了，总是在按下葫芦起来瓢， 3、接下来准备尝试Index of /pub/linux/kernel/projects/rt/3.2/older preempt_3.2.rt实时补丁，听说这个有人在  ok335xs 上补丁打好了 4、最后如果不如愿，那就换板子，希望大家一起来讨论

TI 官方支持RTOS操作系统 SYS/BIOS，连接 http://www.ti.com/lsds/ti/tools-software/rtos.page，开源免费版本，还有相关的文档及Demo。