Имам един проект с ESP32, който се нуждае от provisioning, OTA updates & web server. Кодът трябва да е на C и да ползва espidf.

Чувал съм, че Mongoose OS предлага гореспоменатите опции. Някой да го е ползвал, че да сподели опит?

за какво ти е друга ОС, като вече има за основа ФриРТОС ... ОТА и УЕБ също има

Отнякъде бях останал с впечатлението, че Mongoose прави тези процеси по-лесни, сега разгледах примерите и впечатлението се разсея.

попринцип всичките ОС имат едни и същи механизми за постигане на резултат
сложноста е една и съща - ползвай това което ти е удобно
но мисля че ще намериш повече информация, библиотеки и примери за FreeRTOS

IDF е FreeRTOS. Ако ти трябва друга ОС е напълно безсмислено да инсталираш цялото IDF.

Mongoose е надграждане отгоре - в ИДФ-а на еспресиф също има провижънинг и т.н., които не са част от фреертос.
Mongoose го ползват алтерко в техните shelly-та, ама незнам дали някой от техния тийм се подвизава тук.
Другото интересно там е че имат javascript машинка вътре - улеснява някой процеси по реконфигуриране и добавяне на екстри - т.е. не се налага да доставя голям монолитен фирмуер за да смениш едно число примерно.
Отгоре имат и цяла екосистема за IoT - плаща се обаче (за комерсиално ползване - мисля че 5 или 10 устройства можеш да ползваш като разработчик). Имат си dashboard за мониторинг, фирмуер ъпдейт и т.н.
Друго интересно тяхно нещо е че предлагат фирмуер за есп, или направо програмирани модули с есп, които да се добавят към "legacy" устройства - например със STM32 - поддържат протокола на СТ бутлоадъра по серием май, и реално можеш да вкараш в мрежата устройство с микроконтролер, което си няма и хабер за IoT. Т.е. нещо като малък гейтуей събран в един модул есп-шки. Това дава още една екстра - държи разделени функционалната част на устройството от мрежовата. Което е смислено ако например искаш нещо дърто да можеш да го ъпдейтваш и гледаш отдалечено - имам предвид ти като ОЕМ. Ако целта е да дадеш мрежови екстри за крайния потребител, тоя подход не е подходящ (според мен) - там или си вкарваш мрежовата логика в стм-а (условно), т.е. примерно ползваш есп-то през АТ фирмуера/Mongoose гейтуей фирмуера, или риташ стм-а и слагаш логиката в есп-то. Проблемно става (според мен) когато трябва да разработваш два фирмуера (стм и есп) и да ги държиш съвместими - примерно вкарваш feature в стм, но за да излезе през esp-то трябва да добавиш код и в него. После става "дай да ъпдейтнем и двете", и да мислим какво ще стане ако едното е старо, а другото ново, или ако .... много ситуации, които те разцепват от тестване и поддръжка на обратна съвместимост.
Тъй като есп-тата имат много ресурс като флаш поне, е много смислено то (есп-то) да има копие на stm фирмуера в себе си. Така като ъпдейтваш реално пращаш един голям фирмуер (за есп-то), които има вграден като ресурс (масив) бинарито за стм-а и си го изпомпва - както cesanta/mongoose примерно през стандартния протокол на СТ бутлоадъра.

Както каза TheWizard, есп-то си има всичко. Документацията им е много добра, и примерния код също - има captive portal, http server, OTA, mqtt и всичко интегрирано във FreeRTOS.

Mongoose OS е изоставен проект.

Що така? Гледам, че си в екипа, споменават Шели като клиенти ...

Щото Цесанта го изоставиха -- факт, който вероятно прикриват, защото още цоцат такси от тук-таме. Не и от нас, ние форкнахме и развиваме вътрешно.

Жалко ... на хартия изглежда интересен РТОС - не, че съм го ръчкал де, ама ми се струва странно да му теглят чертата след толкова години. Някой им е изял пазара ли?