It's probably Nucleus, which is what Mediatek uses a lot on their low-end phones: https://en.wikipedia.org/wiki/Nucleus_RTOS

It's not open source per se, but the phones themselves tend to have very little modification from the reference EVK, which means if you can find the BSP you can usually build a firmware image that will work on a device.