Tag: Role of the Linux kernel in memory management