we need a queue in ISR , so we use osPoolAlloc and osPoolFree ,both taking a lot of time, which is not allowed in ISR. Can someone give us some advice ?