start_kernel(void) 调用 rest_init (void)，

函数原型 static noinline void __init_refok rest_init (void)

rest_init 开始

    │

    ├─▶ rcu_scheduler_starting()  ── RCU 调度功能激活

    │

    ├─▶ smpboot_thread_init()      ── smpboot 框架初始化

    │

    ├─▶ kernel_thread(init)        ── 创建 PID 1 (init 进程)

    │

    ├─▶ numa_default_policy()      ── 设置 NUMA 策略

    │

    ├─▶ kernel_thread(kthreadd)    ── 创建 PID 2 (kthreadd)

    │

    ├─▶ 保存 kthreadd_task          ── 供后续使用

    │

    ├─▶ complete(&kthreadd_done)   ── 通知完成

    │

    ├─▶ init_idle_bootup_task()    ── 当前线程 → idle 线程

    │

    ├─▶ schedule_preempt_disabled() ── 首次调度，让出 CPU

    │

    └─▶ cpu_startup_entry()        ── 进入空闲循环（永不返回）

关键设计思想

1. PID 1 和 PID 2 的特殊性

2. 当前线程的身份转变

执行 rest_init 的线程：

3. 永不返回

rest_init 的调用者永远不会看到它返回，因为最后一步进入了无限的空闲循环。这是内核启动流程的终点，也是系统正常运行状态的起点。

总结

rest_init 是整个内核初始化的压轴戏。它完成了从"单线程的内核初始化"到"多进程的正常运行"的转变：

从此，Linux 系统正式启动完成，进入了正常的运行状态：init 进程开始初始化用户空间，kthreadd 等待创建内核线程的请求，而空闲线程则在没有任务时运行。

• 创建了两个最重要的系统进程（init 和 kthreadd）
• 完成了启动线程到空闲线程的身份转变
• 触发了第一次进程调度
• 最后进入了系统的空闲循环
• 最初是 boot CPU 上的启动线程
• 在系统启动的最后阶段变成空闲线程
• 这是一种优雅的资源重用：不需要专门创建一个空闲线程
• PID 1 (init) 是所有用户进程的祖先，负责系统初始化
• PID 2 (kthreadd) 是所有内核线程的祖先，负责创建其他内核线程
• 这个顺序是固定的：必须先有 init，才能有 kthreadd