very simple 8051 os