mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
149:156823d33999
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/targets/TARGET_NUVOTON/TARGET_M451/mbed_lib.json	Fri Oct 28 11:17:30 2016 +0100
@@ -0,0 +1,18 @@
+{
+    "name": "M451",
+    "config": {
+        "gpio-irq-debounce-enable": {
+            "help": "Enable GPIO IRQ debounce",
+            "value": 0
+        },
+        "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"
+        },
+
+        "gpio-irq-debounce-sample-rate": {
+            "help": "Select GPIO IRQ debounce sample rate: GPIO_DBCTL_DBCLKSEL_1, GPIO_DBCTL_DBCLKSEL_2, GPIO_DBCTL_DBCLKSEL_4, ..., or GPIO_DBCTL_DBCLKSEL_32768",
+            "value": "GPIO_DBCTL_DBCLKSEL_16"
+        }
+    }
+}