Linux Kernel系列一：开篇和Kernel启动概要

前言

最近几个月将Linux Kernel的大概研究了一下，下面须要进行深刻详细的分析。主要将以S3C2440的一块开发板为硬件实体。大概包括以下内容：

1 bootloader分析，以uboot为主，结合具体开发板的状况。个人目标是解释清楚uboot的工做原理（说实话，分析过程当中不太想被硬件绑架，可是须要以一个实际的例子

来作分析）

2 kernel部分，这就不少内容了。打算从kernel启动的流程开始分析。

3 除kernel自己外，还有不少的知识，例如ld的输入script分析等，这里会一块儿介绍。

kernel启动流程概要

一：内核Image的组成

1 ES（Embed System）启动的时候，CPU加电，执行的第一条语句是Bootloader，这个很是相似PC机上的BIOS。BL将内核加载后，控制器移交给LK

2 LK执行的第一条语句是什么？vmlinux是单体的内核表示。根据前面说的内核编译链接知识，第一条语句是head.S中（历史缘由，MD，有不少文件都叫head.S）

 咱们须要从新分析一下内核(这里就是zImage了)的组成，（方法很简单，研究make的执行过程，经过make V=1 zImage能够获得几乎所有信息）

• vmlinux，这个是未压缩、未strip的内核模块，ELF结构
• Image：二进制、未压缩、可是strip后的内核
• head.o：ARM相关的，由BL将控制权转交给它。即前面提到的head.S生成
• pigg.gz：Image文件的gzip压缩
• piggy.o：由piggy.S生成，这个S文件经过include Bin方式将Image包含进来。piggy的意思就是背负、肩扛。很形象不是？
• misc.o：从上面看，涉及到一些解压方面的内容，而misc提供一些辅助函数
• vmlinux：悲催.....这个文件是head+pigg+misc构成的vmlinux。名字同样不是？真的很混淆！
• zImage：再由上面这个vmlinux压缩而来

图1很好得展现了这个过程。

图1 内核的构成

3 piggy的故事

piggy.S颇有意思，创建了一个section，而且有一个标志来指示piggy.gz的边界。

piggy对应的是一个叫bootstrap的image，注意，Bootstrap和Bootloader不同，它是在BL以后的一段代码，用来

解压kernel，设置内存等做用。也能够叫second stage boot。

 

4 Bootloadre和BootstrapLoader

BL和BSL的区别是什么？

• BL只是初始化硬件，不依赖linux，不处理linux
• BSL在BL后执行，依赖linux，由于要解压linux。另一个重要点就是BSL须要为LINUX的运行创建环境

BSL的工做包括：

• head.O：初始化CPU等工做
• misc.O：解压，重定位（例如将kernel移动到另一个位置上） decompress_kernel
• 其余工做

init/main.c:start_kernel

启动调用图见图2.

图2 启动调用流程图

下面来分析这个启动流程

1 kernel中的head.o分析：尽可能保持CPU系列的通用，例如arm的CPU等初始化都在作。可是具体板子（例如CPU+其余硬件）怎么初始化？这就是由mach目录中的初始化函数作到的。因此，kernel初始化分为：generic CPU初始化+具体板子的初始化。head.o初始化后，跳转到main.o的start_kernel，继续后面的流程

2 start_kernel:(init/main.c)：start_kernel的转移由head.O作的，不过代码通常包含在更通用的head_common.S中

   之后想作kernel的分析，就从main开始吧. start_kernel作了什么事情呢？

• 刚才只是初始化了cpu相关的，而具体和板子相关的由start_arch执行

3 kernel 参数分析：kernel command line。注意，这个参数是由BL传递给kernel的，不过这个参数又是谁设置的呢？又存在什么地方呢？这个line放在一个global的地方，

  另外，kernel如何处理这些参数呢？有一个比较好的办法，__set_up宏，将一些参数和对应的函数指针存在一个特殊的section中，而后循环调用这个section中的函数。（和驱动module中的很像）。定义在init.h中。关于一些特殊参数的取值，在arch/arm/kernel/vmlinux.lds.S中定义。（之后得去看看ld的manual了）__set_up这个宏还有一个flags好比early，表示处理阶段是否在early-stage作。标志有__init的section最终占用的内存会被抛弃..

4 子系统初始化：包括中断、等。？section嵌套section？

5 kernel_init进程：start_kernel最后会fork一个kernel_init进程，而原执行进程变成idle进程了..

6 用户空间的init进程:由kernel_init进程最终经过execve init完成

7 参考文献。ELP这本书给的参考文献都巨强..