The TivaWare Peripheral Driver Library User's Guide Chapter 12 describes a fan control API driver contained in the files fan.h and fan.c. In my TivaWare 2.1.1.71 installation, I don't see those files. The file hw_fan.h exists, but it does not have any defines in it. Are the fan API files available elsewhere?