Raspberry Pi Audio Recording with a Digital I2S Microphone

You can find the tutorial on:

… and the corresponding video …

Btw. the featured I2S mic is the ICS43434 sold in the official Arduino store also.

The tutorial shows the recording on a wave file only, some compressed output would be nice also. Recording is done via the linux tool arecord but it sounds like MP3 is possible also after installing the lame encoder possible is also OGG.