+ /*HACK-- check that console=device does not occur in */
+ /*/proc/cmdline*/
+ if (!oargs['d'])
+ fatal_moan("no argument to -d");
+
+ {
+ char kernel_cmdline[4096]={0};
+ char search_string[1024]="console=";
+ char *ptr=oargs['d'];
+ int fd;
+
+ if (!strncmp("/dev/",ptr,5)) ptr+=5;
+
+ strcat(search_string,ptr);
+
+ fd=open("/proc/cmdline",O_RDONLY);
+ read(fd,kernel_cmdline,sizeof(kernel_cmdline));
+ close(fd);
+
+ kernel_cmdline[sizeof(kernel_cmdline)-1]=0;
+
+ if (strstr(kernel_cmdline,search_string))
+ fatal_moan("/proc/cmdline contains %s",search_string);
+ }
+