mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
153:fa9ff456f731
Parent:
149:156823d33999
--- a/targets/TARGET_NUVOTON/TARGET_M451/mbed_lib.json	Thu Dec 15 11:48:27 2016 +0000
+++ b/targets/TARGET_NUVOTON/TARGET_M451/mbed_lib.json	Tue Dec 20 17:27:56 2016 +0000
@@ -5,6 +5,10 @@
             "help": "Enable GPIO IRQ debounce",
             "value": 0
         },
+        "gpio-irq-debounce-enable-list": {
+            "help": "Comma separated pin list to enable GPIO IRQ debounce",
+            "value": "NC"
+        },
         "gpio-irq-debounce-clock-source": {
             "help": "Select GPIO IRQ debounce clock source: GPIO_DBCTL_DBCLKSRC_HCLK or GPIO_DBCTL_DBCLKSRC_LIRC",
             "value": "GPIO_DBCTL_DBCLKSRC_LIRC"