Wikipedia says that Embedded Controllers [1] are microcontrollers (like an Arduino!) that control everything the OS doesn't. It looks like these slides describe how to program said microcontrollers.

[1]: https://en.wikipedia.org/wiki/Embedded_controller