OSEKLinux ran well under RTLinux and Redhat 7.1 on a PC platform.

• OSEKLinux的设计在PC机上基于RTLinux和Redhat7.；1平台已经得到了实现和验证。