mbed-os/targets/TARGET_NUVOTON/TARGET_NANO100/mbed_lib.json

{
    "name": "NANO100",
    "config": {
        "gpio-irq-debounce-enable": {
            "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_DBCLKSRC_HCLK or GPIO_DBCLKSRC_IRC10K",
            "value": "GPIO_DBCLKSRC_IRC10K"
        },

        "gpio-irq-debounce-sample-rate": {
            "help": "Select GPIO IRQ debounce sample rate: GPIO_DBCLKSEL_1, GPIO_DBCLKSEL_2, GPIO_DBCLKSEL_4, ..., or GPIO_DBCLKSEL_32768",
            "value": "GPIO_DBCLKSEL_16"
        }
    }
}