startup.patch 871 B

12345678910111213141516171819202122
  1. diff -Nur linux-3.13.3.orig/init/main.c linux-3.13.3/init/main.c
  2. --- linux-3.13.3.orig/init/main.c 2014-02-13 23:00:14.000000000 +0100
  3. +++ linux-3.13.3/init/main.c 2014-02-17 11:35:14.000000000 +0100
  4. @@ -871,7 +871,8 @@
  5. pr_err("Failed to execute %s (error %d). Attempting defaults...\n",
  6. execute_command, ret);
  7. }
  8. - if (!try_to_run_init_process("/sbin/init") ||
  9. + if (!try_to_run_init_process("/init") ||
  10. + !try_to_run_init_process("/sbin/init") ||
  11. !try_to_run_init_process("/etc/init") ||
  12. !try_to_run_init_process("/bin/init") ||
  13. !try_to_run_init_process("/bin/sh"))
  14. @@ -916,6 +917,8 @@
  15. if (sys_open((const char __user *) "/dev/console", O_RDWR, 0) < 0)
  16. pr_err("Warning: unable to open an initial console.\n");
  17. + printk(KERN_WARNING "Starting Linux (built with OpenADK).\n");
  18. +
  19. (void) sys_dup(0);
  20. (void) sys_dup(0);
  21. /*