Tools for the Linux High Definition Audio (HDA) ALSA driver