Linux backend of Memory Manager reimplemented