Pintos contains two memory allocators, one that allocates memory in units of a page, and one that can allocate blocks of any size.