FREERTOS

One of the most popular kernels is FREERTOS

At this page you can see all the architectures it is ported for.

And of course there do also exist an Arduino port.

Just go to the library install (sketch->include>manage libraries) and search for FreeRTOS

It is supplied with a few examples.