请问怎么跑RTX51？

我看到有人用这个跑了。
我之前都是跑裸机的，现在想学一下系统，正好手头一直在用stc12a5c60s2，就查了一下发现可以跑RTX51，但是查不到资料说怎么弄。
我用的是MDK，之前没接触过操作系统，有什么资料可以让我学习一下么？
非常感谢！

2019-6-24 13:41:06

添加#include

2019-6-24 14:00:25

1楼的哥们，这些资料你是在哪看到的？我很想学习一下操作系统（之前完全没有接触过），能推荐点东西么，非常感谢！

2019-6-24 14:15:39

2019-6-24 14:23:24

一般什么情况下需要用到系统呢？
我感觉一直没有用过系统，单片机也能实现很多。
是不是类似这种情况？
比如我原来扫描按键，想实时响应必须用中断，但是中断资源有限，如果用了RTOS，在一个任务里面直接写一个 while不断循环扫描的程序就行了？
是这种情况么？
或者还有别的情况么？