start_kernel() doesn't return either.
tree2e28b0f22ba2e8bd7d97fb248308b5340996dce0
-rw-r--r-- 164 .cvsignore
-rw-r--r-- 18691 COPYING
-rw-r--r-- 88167 CREDITS
drwxr-xr-x - Documentation
-rw-r--r-- 54861 MAINTAINERS
-rw-r--r-- 43109 Makefile
-rw-r--r-- 13970 README
-rw-r--r-- 2815 REPORTING-BUGS
drwxr-xr-x - arch
drwxr-xr-x - crypto
drwxr-xr-x - drivers
drwxr-xr-x - fs
drwxr-xr-x - include
drwxr-xr-x - init
drwxr-xr-x - ipc
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - net
drwxr-xr-x - scripts
drwxr-xr-x - security
drwxr-xr-x - sound
drwxr-xr-x - usr