High frequency thread (min 10kHz)

Is it possible to get a thread to periodically run at 10kHz frequency (or faster?) by using a high frequency ticker ISR to set an EventFlag and wait for that EventFlag in a thread loop? Do I have to modify RTOS Ticker to reach sub 1ms resolution in threads?

This is hinted at here, but no example is given on how to actually do it:
https://os.mbed.com/docs/mbed-os/v6.10/apis/scheduling-concepts.html

Hello Claude,

The Ticker documentation promises to call an ISR with a microsecond accuracy. However, take into account the restrictions mentioned in the Warnings and notes and also make sure the ISR can finish the task within the required time frame (a 10kHz frequency means a 100us time frame) and let the other threads sufficient time period to carry out their tasks as well.