A collection of C modules that control different standard hardware components found on a micro-controller (GPIO, UART, ADC, I2C and so on).

These modules act like device drivers in the sense that they hide the hardware details. Nevertheless they are not yet at a state to be comparable to device drivers of regular operating systems. They are intended to be used in "firmware" applications.