Cool! As feature requests are piling up here: I would like to be able to switch the machine/backend. Optimal would be a drop down menu to select
-x86_64 -x86 -arm -mips -or32 -avr
and so on. Yeah, I guess that requires a couple recompiled GCC binaries :D