### Description Discussion started here: https://github.com/ARMmbed/mbed-os/pull/9221#discussion_r258532501 @ARMmbed/mbed-os-psa ### Issue request type [ ] Question [ ] Enhancement [x] Bug