added write_file
modified write_file in ARM mode
status of difference between forked and upstream