ESP-DSP: The official DSP library for the ESP32

Introduction

Following up on the Espressif Audio Development Framework ESP-ADF, the Espressif DSP Library ESP-DSP being in the making since October 2018 looks pretty solid already.

Overview

The ESP-DSP library includes implementations of the following functions:

Would you be interested to test this library by unlocking it from your MicroPython environment, @Ron?

How would you do that on the pycom-modules? I thought you have to rely on pycom’s firmware… and they didn’t implement all of the espressif stuff… which is quite annoying.
so how would you unlock it?