Looks interesting but wouldn't something like netBSD be a better fit?

Most ESP chips use FreeRTOS, and flash page caching support in hardware.

Unlike Multi-core Application processors which are a better fit for OS like BSD or Linux. =3