Ucos operating system source (8051)