Arduino to IDF header

[PeterR]

I need to port some Arduino libraries to IDF.
Does anyone have a set of ESP IDF stubs which translate Arduino services (tick, time, debug logging etc) to ESP IDF which they will share?

[ESP_Sprite]

You are aware that you can use the Arduino codebase as a component in esp-idf? That should allow you to intermix code.

[PeterR]

No, I was not aware. How do I go about that?

ATM I have dropped the Ardunio component into my IDF project /components added COMPONENT_SRCDIRS and COMPONENT_ADD_INCLUDEDIRS and am now faced with missing headers 'os_type.h' etc and clearly once I copy/create the headers then I will need a back end.
Most headers seems fairly trivial to create (better though if I can avoid the typing) but espconn will need some effort.

[ESP_Sprite]

See https://github.com/espressif/arduino-es ... mponent.md