On May 13, 2015, at 11:56 AM, KHMan <keinhong@gmail.com> wrote: > A new psABI for Intel MCU > https://gcc.gnu.org/ml/gcc/2015-05/msg00089.html Say, whatever happened to X32?