I haven't tested the HiFiBerry boards (yet), but I assume that they would work fine. In the changelog (
http://www.runeaudio.com/changelog/), it states the following (emphasis mine).
0.3-beta
29/10/2014
Out of the box support for Raspberry Pi’s most popular I²S DACs:
- G2Labs BerryNOS
- G2Labs BerryNOS mini
- HiFiBerry DAC and HiFiBerry DAC+
- HiFiBerry Digi and HiFiBerry Digi+
- IQaudIO Pi-DAC and IQaudIO Pi-DAC+
- RaspyPlay3 and RaspyPlay4
- Wolfson Audio Card