inside PIC32 there is a MIPS32-R2 core, but the toolchain is not OS-profiled it's metal bare (without an OS, and in this case Linux requires a lot of considerations) besides, the C compiler and libraries (and also linker scripts) have been modified by Microchip in short it doesn't help

umm, it seems something has been released but I have never seen it (i.e. gnat for HPUX? bah ...) --------------- Ada Core Technologies has released the following versions of release 3.10p of the GNAT Ada 95 compiler. These versions should be available shortly on the various mirror sites that provide latest GNAT versions DEC Unix HPPA HPUX x86 Linux MIPS IRIX POWER PC AIX SPARC SOLARIS SPARC SUNOS x86 NT/Win95 x86 OS/2 Power PC (Mac) Machten Corresponding source and documentation releases have also been made. 2018-07-13 22:43 GMT+02:00 Carlo Pisani <carlojpisani at gmail.com>: