A device driver for the Intel HD Audio controller and speaker.
Currently, this driver is an experimental implementation and it just play a hard-coded sound data forever.
You need a wav file (44.1kHz, 16-bits, 2 channels) to play. Generate a
$ cd servers/experimental/hdaudio $ ./wav2c.py <your_wav_file>
Enable the Intel HD audio device by
$ make run HD_AUDIO=y