Ask HN: Good library/tool for realtime audio streaming in ARM Linux?

Hi everyone, I'm building an application for ARM Linux that requires playing audio (voice) streamed in real time over the net. We have a websockets connection set up that we will use to pass the audio packets over. I'm wondering what tools people might suggest for buffering, decoding, and replaying the packets locally on the ARM Linux device. gstreamer looks promising, although it might be much more powerful/complicated than we need. Are there other libraries out there for this kind of thing? Open source apps that might be easily adapted? Thanks!