PulseAudio setup to mix microphone

    Hi there,

    I have a Intel NUC PC installed with Libreelec. I'd like to mix microphone and Kodi's audio together and generate the audio output via the HDMI port. Intel NUC has a front jack that can take a TRRS cable that passes signals from the microphone. Do you happen to know how to get this work via PulseAudio?

    Desired setup can be visualized as:

    Mic -> front jack -> PulseAudio ->

    Kodi ----------------> PulseAudio -> HDMI -> speaker

    Thanks!