I need a very tiny RTOS for AVR similar to mRTOS which just has two files (mrtos.h and mrtos.c).
Can anyone please provide any advice?
You should check out FreeRTOS for AVR or search for some board specific ones on github.