Mkernel is a small OSEK/VDX inspired kernel for the pic18fxxxx processor family implemented using the SDCC corsscompiler.
The current release 0.7.1 supports:
- Simple OIL Builder
- Preemptive and cooperative scheduling
- Static Memory Management
- Process communication inspiered by OSEK/VDX
- High Priority Interrupt driven Timer
- Simple device model
- Drivers for most of the build in devices of the PIC18f4550 (ADC,PWM,CVREF I2C, COMP.