{
    "name": "tfm-s",
    "macros": ["MBED_FAULT_HANDLER_DISABLED"],
    "config": {
        "max_ns_thread_count": {
            "help": "maximum allowed number of non-secure threads",
            "macro_name": "TFM_MAX_NS_THREAD_COUNT",
            "value": 10
        }
    }
}