Primero, el PIC32 no ejecuta Linux. Una búsqueda rápida en Google muestra una falta de distribuciones de Linux en toda regla o compilaciones del kernel para el PIC32 (por razones tales como RAM insuficiente, falta de interés)
En segundo lugar, aunque puede ser una oferta de gama alta, sigue siendo un microcontrolador, cuyo propósito es algo diferente de un procesador de propósito general. Solo transporta hasta 32 KB de RAM física, que definitivamente no es suficiente .
Sin embargo, una lectura de la hoja de datos de la familia PIC32MX muestra que la familia PIC32 contiene una unidad de "traducción de mapeo fija" para la memoria virtual. Esta característica similar a MMU implementa recursos de mapeo de memoria como flash, así como la segmentación de kernel / usuario.
Editar: No puedo responder por qué Microchip no se involucra con Linux / Android, ya que no trabajo para Microchip. Solo puedo decir que, de acuerdo con las especificaciones del microcontrolador específico que usted menciona, puede ser de gama alta para un microcontrolador / microprocesador, pero no es suficiente para un sistema basado en Linux, y mucho menos para uno que ejecuta una máquina virtual Java. un JIT (no sucederá debido a la memoria, y porque JIT en una arquitectura de Harvard es una premisa cuestionable). Un microcontrolador está diseñado para actuar en una aplicación embebida simple de baja latencia y altamente confiable, y ejecutar Linux o Android no es necesariamente propicio para hacer las cosas de manera barata y confiable y en tiempo real.