FreeRTOS + USB

Lately I’ve been working on a project which requires (among other things) a file system and networking. It has been very convenient having the +FAT and +TCP libraries at my disposal under the same “umbrella” of software. My question is, has there ever been any discussion of a +USB library? Is there a reason I’m not aware of that would make such a library prohibitive with FreeRTOS? Or has it been simply no one has yet had the time or energy to write such an implementation.

There are a few silicon vendors that provide USB examples for FreeRTOS, for example ST and Atmel that was (now Microchip) and no doubt others. There are also commercial vendors that provide USB drivers that work with FreeRTOS, such as WITTENSTEIN and HCC Embedded. It is not really something we have considered ourselves as their hasn’t been that many requests.