AmirOS: implemented Paging and some minor changes to the Source Code