Comment by squarefoot

I believe so, but on a ucontroller it also needs to know the machine data types, memory structure, internal peripherals etc, where is this or that pin, how to start a timer or read the ADC etc. Probably all it needs is a good set of .h files to generate appropriate code.