Hans-Christian Egtvedt <egtv...@gmail.com>

We would like reserve the next available machine type for the Atmel
AVR32 processor.

Dave, can you put it in gABI please?

AVR32 is a 32-bit microprocessor family produced by Atmel[0].

0: http://www.atmel.com/AVR32

--
Best regards,
Hans-Christian Egtvedt
AVR32 Applications Engineer, Atmel Norway