Hello All, I was wondering if we could get build instructions for libmbed.a - (rather than just patching it...) - [https://github.com/arduino/ArduinoCore-mbed/tree/master/variants/PORTENTA_H7_M7/libs](https://github.com/arduino/ArduinoCore-mbed/tree/master/variants/PORTENTA_H7_M7/libs) I have mbed studio downloaded already - I see the Nano BLE is already a target there. Thanks in advance, John W.