网上免费的单片机多任务操作系统OSEK/VDX源代码，包含了内核部分以及外设驱动程序，但驱动程序目前还不全。等待更新-Free online multi-tasking operating system microcontroller OSEK/VDX source code, contains the core components and peripheral drivers, but the driver is not yet full. Awaiting update

PIC单片机上用的符合osek/vdx标准的小型操作系统。源码+手册-PIC microcontroller used in line with osek/vdx-standard small-scale operating system

osek/vdx 实时操作系统编程环境介绍-osek/vdx real-time operating system, programming environment introduced