Added memory segment specification to os.txt and spec.txt