Do you have plan for support of either IOTivity or AllJoyn stack in the mbedOS

Do you have plan for support of either IOTivity or AllJoyn stack in the mbedOS for device provisioning and management?