Can I use esp32-s3 as host without freertos?

[0x53A]

My endgoal is embedding tinyusb into a no_std rust application on an esp32-s3.

Trying to compile it as-is, I'm currently getting an error with missing freertos headers, and it looks like esp32-sx unconditionally uses freertos:

Here the headers are included:

tinyusb/src/portable/synopsys/dwc2/dwc2_esp32.h

Lines 35 to 36 in 5fb3c09

	#include "freertos/FreeRTOS.h"
	#include "freertos/task.h"

Which gets included here:

tinyusb/src/portable/synopsys/dwc2/dwc2_common.h

Lines 42 to 43 in 5fb3c09

	#elif defined(TUP_USBIP_DWC2_ESP32)
	#include "dwc2_esp32.h"

And DWC2 gets automatically enabled for ESP32-S2/S3:

tinyusb/src/common/tusb_mcu.h

Lines 381 to 392 in 5fb3c09

	//--------------------------------------------------------------------+
	// Espressif
	//--------------------------------------------------------------------+
	#elif TU_CHECK_MCU(OPT_MCU_ESP32S2, OPT_MCU_ESP32S3)
	#define TUP_USBIP_DWC2
	#define TUP_USBIP_DWC2_ESP32
	#define TUP_DCD_ENDPOINT_MAX 7 // only 5 TX FIFO for endpoint IN
	#define CFG_TUSB_OS_INC_PATH_DEFAULT freertos/
	#if CFG_TUSB_MCU == OPT_MCU_ESP32S3
	#define TUP_MCU_MULTIPLE_CORE 1
	#endif

So it looks like ESP32-S3 always uses the synopsys dwc2 driver, which always hard-references FreeRTOS?