debugPortParameter

Parameter handler for the debug port. Specifies the port number to use for remote debugging of the kernel.