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
