| 12345678910111213141516171819202122 | diff -Nur linux-3.7.3.orig/init/main.c linux-3.7.3/init/main.c--- linux-3.7.3.orig/init/main.c	2013-01-17 17:47:40.000000000 +0100+++ linux-3.7.3/init/main.c	2013-01-19 15:08:13.000000000 +0100@@ -834,7 +834,8 @@ 		printk(KERN_WARNING "Failed to execute %s.  Attempting " 					"defaults...\n", execute_command); 	}-	if (!run_init_process("/sbin/init") ||+	if (!run_init_process("/init") ||+ 	    !run_init_process("/sbin/init") || 	    !run_init_process("/etc/init") || 	    !run_init_process("/bin/init") || 	    !run_init_process("/bin/sh"))@@ -879,6 +880,8 @@ 	if (sys_open((const char __user *) "/dev/console", O_RDWR, 0) < 0) 		printk(KERN_WARNING "Warning: unable to open an initial console.\n"); +	printk(KERN_WARNING "Starting Linux (built with OpenADK).\n");+ 	(void) sys_dup(0); 	(void) sys_dup(0); 	/*
 |