Nathan Cannon 6e481f72aa Now only required number of kernel pages assigned.		2018-05-16 00:42:37 +01:00
..
i386	Now only required number of kernel pages assigned.	2018-05-16 00:42:37 +01:00