VKERNEL Pidfile patch

[Joerg Sonnenberger]

On Sun, Jun 17, 2007 at 12:15:10PM -0400, Chris Turner wrote:
>  static int save_ac;
> @@ -123,13 +124,14 @@
>  	char *diskFile[VKDISK_MAX];
>  	char *cdFile[VKDISK_MAX];
>  	char *suffix;
> +	char *pidfile = NULL;
>  	int netifFileNum = 0;
>  	int diskFileNum = 0;
> @@ -200,12 +202,16 @@
>  				}
>  			}
>  			break;
> +		case 'p':
> +			pidfile = optarg;	
> +			break;
>  		case 'U':
>  			kernel_mem_readonly = 0;
>  			break;
>  		}
>  	}
>  
if (pidfile != NULL)
> +	writepid(pidfile);
>  	cpu_disable_intr();
>  	init_sys_memory(memImageFile);
>  	init_kern_memory();

. .. otherwise you get a segmenation fault.

Joerg