mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
149:156823d33999
diff -r 21d94c44109e -r 156823d33999 targets/TARGET_NUVOTON/TARGET_NUC472/mbed_lib.json
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/targets/TARGET_NUVOTON/TARGET_NUC472/mbed_lib.json	Fri Oct 28 11:17:30 2016 +0100
@@ -0,0 +1,18 @@
+{
+    "name": "NUC472",
+    "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_IRC10K",
+            "value": "GPIO_DBCTL_DBCLKSRC_IRC10K"
+        },
+
+        "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"
+        }
+    }
+}