# # Sound driver configuration # # This is really ugly: it should probably be changed # to use the normal config script setup # $MAKE -C drivers/sound config || exit 1