The main product of AVIX-RT embedded solutions is AVIX. AVIX is a real time pre-emptive kernel. It is developed from the ground up for the dsPIC/24 families of Microcontrollers of Microchip.
Currently AVIX is available in a number of demo distributions. Please follow this link or select the Download Area button on the left to obtain a demo distribution.