Are ISRs managed by mbed RTOS/RTX?

[mugenSD (Andre Nguyen)]

I saw there’s isr queue while I was debugging the code, does the RTOS manage ISRs?