File content as of revision 2:7aab896b1a3b:

{
    "name": "rtos",
    "config": {
        "present": 1,
         "main-thread-stack-size": {
            "help": "The size of the main thread's stack",
            "value": 4096
         },
         "timer-thread-stack-size": {
            "help": "The size of the timer thread's stack",
            "value": 768
         },
         "idle-thread-stack-size": {
            "help": "The size of the idle thread's stack",
            "value": 512
         },
         "thread-stack-size": {
            "help": "The default stack size of new threads",
            "value": 4096
         },
         "idle-thread-stack-size-tickless-extra": {
            "help": "Additional size to add to the idle thread when tickless is enabled and LPTICKER_DELAY_TICKS is used",
            "value": 256
         }
    },
    "macros": ["_RTE_"]
}