0012-Increase-Cordio-memory-pool-for-nRF52832.patch

From c6ba27d3661f7b4684a118fa6cb929b884962128 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Thu, 10 Dec 2020 09:43:14 +0100
Subject: [PATCH 012/204] Increase Cordio memory pool for nRF52832

completes 9354bc2a958966739adb0b9584c966bc13e675d5
---
 .../TARGET_NORDIC_CORDIO/TARGET_NRF5x/mbed_lib.json             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/connectivity/drivers/ble/FEATURE_BLE/TARGET_NORDIC/TARGET_NORDIC_CORDIO/TARGET_NRF5x/mbed_lib.json b/connectivity/drivers/ble/FEATURE_BLE/TARGET_NORDIC/TARGET_NORDIC_CORDIO/TARGET_NRF5x/mbed_lib.json
index 05e5a45eee..3a3d85128d 100644
--- a/connectivity/drivers/ble/FEATURE_BLE/TARGET_NORDIC/TARGET_NORDIC_CORDIO/TARGET_NRF5x/mbed_lib.json
+++ b/connectivity/drivers/ble/FEATURE_BLE/TARGET_NORDIC/TARGET_NORDIC_CORDIO/TARGET_NRF5x/mbed_lib.json
@@ -8,7 +8,7 @@
         },
         "hci-driver-buffer-size": {
             "help": "Defines the memory to be allocated by the NRFCordiHciDriver.",
-            "value": 12500
+            "value": 13000
         },
         "wsf-pool-buffer-size": {
             "help": "Defines the memory allocated for the wsf memory pool.",
-- 
2.39.1