A microkernel does not need a malloc.