a tiny os code for mcs51