I have downloaded the MDK lite system to look at the environment and I could not find any documentation of the Hardware Abstraction Layer that the tool provides. Generally there is a library of calls that allows you to configure the various hardware components without individually setting all the registers by hand. Can you point me in the right direction to find this documentation?