借鉴tkernel的优秀机制实现符合OSEK规范的操作系统