There even is a Linux for PIC32 http://www.microchip.com/stellent/idcplg?IdcService=SS_GET_PAGE&nodeId=2519¶m=en546018 No idea if this is really useful ? -Michael