add support for mips/pic32
reference new osek with support for pic32