I’m still trying to figure out if FreeRTOS (if any RTOS at all) is the right choice for our project. The circuit board collects/outputs data from a bunch of sensor and inputs, once per millisecond. I was thinking that using an RTOS might make it easier to manage some of the more annoying, time related things (such as fixing stuck I2C bus, or managing communications to a sensor that takes multiple read/write/delays to get data from).
Anyways, the 1 ms update period of the communications means that the RTOS would need tick much faster than 1 ms. When I try to set it faster, I get divide by zero errors because the portTICK_PERIOD_MS is defined as an integer division of 1000 / configTICK_RATE_HZ. This means you get zero for anything faster than 1 kHz. So is 1 kHz the maximum speed that FreeRTOS is meant to run?