6Debug Utility

	6.1	Changing Platforms		335

	6.2	Switching Kernels		336
