# Kernel booting process