Normally I would not use an OS with an 8051. Many of the new flash parts now have firmware boot loaders built in.

I doubt that an OS will have the functions you want for downloading file and you will have to write them yourself anyway.