Notes on OS memory management