Moved kernel initialization to kernel_main.c

7 files changed