I worked with AVR microcontrollers, and the avr-gcc toolchain when I was in college. It's basically an abstraction layer below what an Arduino provides you.

https://en.wikipedia.org/wiki/AVR_microcontrollers