一种针对Linux内核源代码的文件级裁剪方法和系统与流程

一种针对linux内核源代码的文件级裁剪方法和系统
技术领域
1.本发明涉及操作系统技术领域，尤其涉及一种针对linux内核源代码的文件级裁剪方法和系统。


背景技术：

2.gnu/linux是一个开源的操作系统项目，目前众多操作系统公司基于该项目推出了不同的linux系统发行版本的，由于linux系统的高度可移植、可裁剪能力，目前已经在嵌入式领域广泛应用。
3.由于嵌入式设备高度定制的特点，gnu/linux社区的标准linux内核在功能上显得过于冗余，在源代码文件和二进制文件体积上显得过于庞大。


技术实现要素：

4.鉴于上述的分析，本发明实施例旨在提供一种针对linux内核源代码的文件级裁剪方法和系统，用以解决标准linux内核在功能上显得过于冗余，在源代码文件和二进制文件体积上显得过于庞大的问题。
5.一方面，本发明实施例提供了一种针对linux内核源代码的文件级裁剪方法，包括：根据内核的配置文件.config，自动识别出原始linux内核源代码文件中的要参与编译的源代码文件；基于识别出的要参与编译的源代码文件，形成原始linux内核源代码文件中参与编译的源代码文件列表；根据所述参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪；以及在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序。
6.上述技术方案的有益效果如下：针对linux内核源代码的文件级裁剪方法，可实现对不参与内核编译的内核源代码文件进行裁剪，只保留需要的内核源代码文件。达到linux内核源代码文件最小化裁剪的目的。针对一个具体的嵌入式设备，需要根据设备的配置以及项目的需求对标准的linux内核进行定制裁剪，从而构造一个即满足场景需要，又高度精简的linux内核。
7.基于上述方法的进一步改进，所述makefile文件包含：顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*和kbuildmakefiles，其中，所述顶层makefile，是源代码根目录下的makefile文件，用于编译生成vmlinux和各种模块；所述内核配置文件.config，.config用户保存用户对内核配置项的设置信息；所述arch/$(arch)/makefile，根据指定的平台架构对内核进行相应配置，其中，arch为x86、arm64、mips或其它cpu架构；所述scripts/makefile.*，定义构建内核的通用规则；以及所述kbuild makefiles，定义每个内核功能组件的编译规则，其中，如果所述参与编译的源代码文件列表下同时存在makefile和kbuild文件，则优先使用所述kbuild文件。
8.基于上述方法的进一步改进，内核的配置文件.config包括：根据应用场景和硬件设备的特点，手动对内核进行配置，生成内核配置文件.config。
9.基于上述方法的进一步改进，根据内核的配置文件.config，自动识别出原始linux内核源代码文件中要参与编译的源代码文件包括：通过make命令进行linux内核编译，通过顶层makefile递归向下访问子目录的方式生成vmlinux和各种模块，顶层makefile通过读取.config文件决定需要访问哪些子目录参与内核的编译；通过读取arch/$(arch)/makefile的内容确定平台的架构信息；scripts/makefile.*文件包含所有关于编译的定义、规则信息；每个子目录中都有一个kbuild或makefile文件，用于执行从其上层目录传递下来的编译命令；以及所有的kbuild或makefile文件从内核配置文件.config中读取内核的配置项信息，从而根据配置项的设置值，选择需要参与编译的源代码文件。
10.基于上述方法的进一步改进，所述kbuild makefile用于指定哪些内核源代码文件参与编译，并规定了编译的方式，其中，通过obj-xxx、target-objs和lib-xxx这三个字段进行指定：所述obj-xxx，语法为obj-xxx＝target.o，其中，xxx为y、m或$(config_yyy)；y表示将所述kbuild makefile默认编译进内核；m表示将所述kbuild makefile默认编译成可动态插入内核的模块；$(config_yyy)表示所述kbuildmakefile的编译方式取决于.config中对配置项config_yyy的设置；target为目标文件的名字，且所述目标文件对应一个target.c或target.s源代码文件，如果“config_yyy”既不是y也不是m，则所述目标文件将不会被编译也不会被连接；所述target-objs，语法为target-objs＝target1.otarget2.o
……
targetn.o，其中，一个目标文件target.o是由多个子目标文件：target1.o，target2.o，
……
，targetn.o组成；以及所述lib-xxx，语法为lib-xxx＝target.o，其中xxx是y、m，y：表示将所述kbuild makefile编译进一个单独的库文件；m：为了一致性，与“y”的定义一致，将目标文件编进一个库文件，lib-xxx通常出现在lib/和arc/*/lib子目录中。
11.基于上述方法的进一步改进，在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序包括：在配置.config文件后，实现linux内核编译，其中，所述linux内核编译是将内核源代码.c、.s文件编译进内核文件、内核模块或库文件；在编译源代码文件时，调用头文件，参与编译源代码文件包含.c、.s文件中所调用的.h头文件，将参与编译内核编译的源代码文件形成源代码文件列表list1，其中，所述源代码文件列表list1中的文件是全部linux内核文件的真子集；以及对linux内核编译时，基于每个子目录的kbuild makefile和.config文件，确定参与内核编译的源代码文件列表list1。
12.基于上述方法的进一步改进，在linux内核源代码文件中，除了用于编译内核的源代码文件之外，还包括用于辅助linux内核配置、构建的文件，其中，通过以下三类文件形成辅助linux内核配置、构建的文件列表list2：kconfig文件，定义一套完整的规则来表述配置项及配置项间的关系，是配置项的描述文件、顶层以及各个子目录都包含有kconfig文件；kbuild，包含顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*、kbuild makefiles；以及/scripts目录下的文件，包含用来配置内核的脚本文件，当配置内核时，需要与所述scripts目录下的脚本进行交互。
13.基于上述方法的进一步改进，根据所述参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪包括：在得到文件列表list1、list2之后，通过删除不在所述源代码文件列表list1、list2中的文件，对linux内核源代码文件进行裁
剪，其中，裁剪步骤如下：/arch目录裁剪：根据目标平台的架构，将/arch目录下除了目标平台架构的子目录全部删除；/documentation目录裁剪：该目录包含了关于内核的帮助说明文档，不参与内核编译，因此全部删除；/samples目录裁剪：该目录包含了一些关于内核的编程范例，不参与内核编译，因此全部删除；/tools目录裁剪：该目录包含了一些与内核交互的工具，不参与内核编译，因此全部删除；其它目录裁剪：删除不在文件列表list1、list2中的所有文件。
14.另一方面，本发明实施例提供了一种针对linux内核源代码的文件级裁剪系统，包括：识别模块，用于根据内核的配置文件.config，自动识别出原始linux内核源代码文件中的要参与编译的源代码文件；文件列表生成模块，用于基于识别出的要参与编译的源代码文件，形成原始linux内核源代码文件中参与编译的源代码文件列表；裁剪模块，用于根据所述参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪；以及编译模块，用于在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序。
15.基于上述系统的进一步改进，所述makefile文件包含：顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*和kbuildmakefiles，其中，所述顶层makefile，是源代码根目录下的makefile文件，用于编译生成vmlinux和各种模块；所述内核配置文件.config，.config用户保存用户对内核配置项的设置信息；所述arch/$(arch)/makefile，根据指定的平台架构对内核进行相应配置，其中，arch为x86、arm64、mips或其它cpu架构；所述scripts/makefile.*，定义构建内核的通用规则；以及所述kbuild makefiles，定义每个内核功能组件的编译规则，其中，如果所述参与编译的源代码文件列表下同时存在makefile和kbuild文件，则优先使用所述kbuild文件。
16.与现有技术相比，本发明至少可实现如下有益效果之一：
17.1、针对linux内核源代码的文件级裁剪方法，可实现对不参与内核编译的内核源代码文件进行裁剪，只保留需要的内核源代码文件。达到linux内核源代码文件最小化裁剪的目的；针对一个具体的嵌入式设备，需要根据设备的配置以及项目的需求对标准的linux内核进行定制裁剪，从而构造一个即满足场景需要，又高度精简的linux内核。
18.2、对linux内核编译时，基于每个子目录的kbuild makefile和.config文件，可确定需要参与内核编译的源代码文件列表list1，生成源代码文件列表list1；kconfig文件、kbuild文件和/scripts目录下的文件形成了辅助linux内核配置、构建的文件列表list2，文件列表list2的生成只需要在源代码目录中根据文件名搜索即可得到；
19.3、在得到文件列表list1、list2之后，通过删除不在list1、list2列表中的文件，即可实现对linux内核源代码文件进行裁剪；以及
20.4、针对一个具体的嵌入式设备，需要根据设备的配置以及项目的需求对标准的linux内核进行定制裁剪，从而构造一个即满足场景需要，又高度精简的linux内核。精简的内核在执行性能、响应时间、安全性、稳定性方面都会得到提升。
21.本发明中，上述各技术方案之间还可以相互组合，以实现更多的优选组合方案。本发明的其它特征和优点将在随后的说明书中阐述，并且，部分优点可从说明书中变得显而易见，或者通过实施本发明而了解。本发明的目的和其它优点可通过说明书以及附图中所特别指出的内容中来实现和获得。
附图说明
22.附图仅用于示出具体实施例的目的，而并不认为是对本发明的限制，在整个附图中，相同的参考符号表示相同的部件。
23.图1为根据本发明实施例的针对linux内核源代码的文件级裁剪方法的流程图；
24.图2为根据本发明实施例的生成源代码文件列表list1的流程图；以及
25.图3为根据本发明实施例的针对linux内核源代码的文件级裁剪系统的框图。
具体实施方式
26.下面结合附图来具体描述本发明的优选实施例，其中，附图构成本技术一部分，并与本发明的实施例一起用于阐释本发明的原理，并非用于限定本发明的范围。
27.本发明的一个具体实施例，公开了一种针对linux内核源代码的文件级裁剪方法。如图1所示，针对linux内核源代码的文件级裁剪方法包括：在步骤s102中，根据内核的配置文件.config，自动识别出原始linux内核源代码文件中的要参与编译的源代码文件；在步骤s104中，基于识别出的要参与编译的源代码文件，形成原始linux内核源代码文件中参与编译的源代码文件列表；在步骤s106中，根据参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪；以及在步骤s108中，在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序。
28.与现有技术相比，本实施例提供的针对linux内核源代码的文件级裁剪方法，可实现对不参与内核编译的内核源代码文件进行裁剪，只保留需要的内核源代码文件。达到linux内核源代码文件最小化裁剪的目的。针对一个具体的嵌入式设备，需要根据设备的配置以及项目的需求对标准的linux内核进行定制裁剪，从而构造一个即满足场景需要，又高度精简的linux内核。
29.下文中，将参考图1对根据本发明实施例的针对linux内核源代码的文件级裁剪方法的各个步骤进行详细说明。
30.在步骤s102中，根据内核的配置文件.config，自动识别出原始linux内核源代码文件中的要参与编译的源代码文件。内核的配置文件.config包括：根据应用场景和硬件设备的特点，手动对内核进行配置，生成内核配置文件.config。具体地，根据内核的配置文件.config，自动识别出原始linux内核源代码文件中要参与编译的源代码文件包括：通过make命令进行linux内核编译，通过顶层makefile递归向下访问子目录的方式生成vmlinux和各种模块，顶层makefile通过读取.config文件决定需要访问哪些子目录参与内核的编译；通过读取arch/$(arch)/makefile的内容确定平台的架构信息；scripts/makefile.*文件包含所有关于编译的定义、规则信息；每个子目录中都有一个kbuild或makefile文件，用于执行从其上层目录传递下来的编译命令；以及所有的kbuild或makefile文件从内核配置文件.config中读取内核的配置项信息，从而根据配置项的设置值，选择需要参与编译的源代码文件。
31.在步骤s104中，基于识别出的要参与编译的源代码文件，形成原始linux内核源代码文件中参与编译的源代码文件列表。具体地，在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序包括：在配置
.config文件后，实现linux内核编译，其中，linux内核编译是将内核源代码.c、.s文件编译进内核文件、内核模块或库文件；在编译源代码文件时，调用头文件，参与编译源代码文件包含.c、.s文件中所调用的.h头文件，将参与编译内核编译的源代码文件形成源代码文件列表list1，其中，源代码文件列表list1中的文件是全部linux内核文件的真子集；以及对linux内核编译时，基于每个子目录的kbuild makefile和.config文件，确定参与内核编译的源代码文件列表list1。
32.在linux内核源代码文件中，除了用于编译内核的源代码文件之外，还包括用于辅助linux内核配置、构建的文件，其中，通过以下三类文件形成辅助linux内核配置、构建的文件列表list2：kconfig文件，定义一套完整的规则来表述配置项及配置项间的关系，是配置项的描述文件、顶层以及各个子目录都包含有kconfig文件；kbuild，包含顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*、kbuildmakefiles；以及/scripts目录下的文件，包含用来配置内核的脚本文件，当配置内核时，需要与scripts目录下的脚本进行交互。
33.在步骤s106中，根据参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪。具体地，根据参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪包括：在得到文件列表list1、list2之后，通过删除不在源代码文件列表list1、list2中的文件，对linux内核源代码文件进行裁剪，其中，裁剪步骤如下：/arch目录裁剪：根据目标平台的架构，将/arch目录下除了目标平台架构的子目录全部删除；/documentation目录裁剪：该目录包含了关于内核的帮助说明文档，不参与内核编译，因此全部删除；/samples目录裁剪：该目录包含了一些关于内核的编程范例，不参与内核编译，因此全部删除；/tools目录裁剪：该目录包含了一些与内核交互的工具，不参与内核编译，因此全部删除；其它目录裁剪：删除不在文件列表list1、list2中的所有文件。
34.在步骤s108中，在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序。具体地，makefile文件包含：顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*和kbuild makefiles。顶层makefile，是源代码根目录下的makefile文件，用于编译生成vmlinux和各种模块；内核配置文件.config，.config用户保存用户对内核配置项的设置信息；arch/$(arch)/makefile，根据指定的平台架构对内核进行相应配置，其中，arch为x86、arm64、mips或其它cpu架构；scripts/makefile.*，定义构建内核的通用规则；以及kbuild makefiles，定义每个内核功能组件的编译规则，其中，如果参与编译的源代码文件列表下同时存在makefile和kbuild文件，则优先使用kbuild文件。
35.具体地，kbuild makefile用于指定哪些内核源代码文件参与编译，并规定了编译的方式，其中，通过obj-xxx、target-objs和lib-xxx这三个字段进行指定：obj-xxx，语法为obj-xxx＝target.o，其中，xxx为y、m或$(config_yyy)；y表示将kbuild makefile默认编译进内核；m表示将kbuild makefile默认编译成可动态插入内核的模块；$(config_yyy)表示kbuild makefile的编译方式取决于.config中对配置项config_yyy的设置；target为目标文件的名字，且目标文件对应一个target.c或target.s源代码文件，如果“config_yyy”既不是y也不是m，则目标文件将不会被编译也不会被连接；target-objs，语法为target-objs
＝target1.o target2.o
……
targetn.o，其中，一个目标文件target.o是由多个子目标文件：target1.o，target2.o，
……
，targetn.o组成；以及lib-xxx，语法为lib-xxx＝target.o，其中xxx是y、m，y：表示将kbuildmakefile编译进一个单独的库文件；m：为了一致性，与“y”的定义一致，将目标文件编进一个库文件，lib-xxx通常出现在lib/和arc/*/lib子目录中。
36.本发明的一个具体实施例，公开了一种针对linux内核源代码的文件级裁剪系统，包括：识别模块302，用于根据内核的配置文件.config，自动识别出原始linux内核源代码文件中的要参与编译的源代码文件；文件列表生成模块304，用于基于识别出的要参与编译的源代码文件，形成原始linux内核源代码文件中参与编译的源代码文件列表；以及裁剪模块306，用于根据参与编译的源文件列表删除不参与编译的源代码文件，达到对linux源代码进行文件级裁剪；以及编译模块308，用于在对要参与编译的源代码文件执行make命令进行编译时，根据makefile文件定义的方式来编译源代码和链接程序。
37.makefile文件包含：顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*和kbuild makefiles，其中，顶层makefile，是源代码根目录下的makefile文件，用于编译生成vmlinux和各种模块；内核配置文件.config，.config用户保存用户对内核配置项的设置信息；arch/$(arch)/makefile，根据指定的平台架构对内核进行相应配置，其中，arch为x86、arm64、mips或其它cpu架构；scripts/makefile.*，定义构建内核的通用规则；以及kbuild makefiles，定义每个内核功能组件的编译规则，其中，如果参与编译的源代码文件列表下同时存在makefile和kbuild文件，则优先使用kbuild文件。
38.下文中，将参考图2，以具体实例的方式对根据本发明实施例的针对linux内核源代码的文件级裁剪方法进行详细说明。
39.linux内核裁剪技术
40.目前，传统的linux内核裁剪通常是利用配置工具，通过对内核配置项的设置来实现。当一个内核功能组件的配置项设置为y时，表示将内核功能组件编译进内核；当一个内核功能组件的配置项设置为m时，表示将内核功能组件编译成可动态加载的模块；当一个内核功能组件的配置项设置为n时，表示该功能组件不参与编译。当一个内核功能组件不参与内核编译时，即实现了对该内核功能组件的裁剪。
41.常用的内核配置工具有如下几类：
42.1)make config
43.这是一种最为传统的通过手动设置所有配置项的配置方式。
44.2)make oldconfig
45.make oldconfig和make config类似，不同的是，它是在现有的内核配置文件基础上建立一个新的配置文件，只需要对新的内核配置项进行设置。
46.3)make menuconfig
47.这是一种基于字符终端的配置方式，提供了文本模式的图形用户界面，可通过光标移动来进行配置项的设置。
48.4)make xoncifg
49.这是一种基于x windows图形窗口模式的配置方式，提供了友好的配置界面，可使
用鼠标进行配置项的设置。
50.5)make gconfig
51.make gconfig和make xocnifg类似，不同的是，make gconfig依赖的是gtk库。
52.6)make defconfig
53.这是一种基于默认配置文件对内核进行配置的方式。
54.7)make allyesconfig
55.这是一种对内核所有配置项都设置为“y”的配置方式，表示选择内核的所有功能组件。
56.8)make allnoconfig
57.这是一种除必须的配置项设置为“y”外，其它配置项全部设置“n”的配置方式，该方式主要用于嵌入式系统的内核构建。
58.9)make allmodconfig
59.这是一种尽可能多的将配置项设置为“m”的配置方式。
60.上述9中内核配置方式的最终目的，都是为了生成一个内核的配置文件.config，该文件记录了所有内核功能组件以什么的方式参与编译，即：
61.如果是y：表示将该功能组件编译进内核；
62.如果是n：表示该功能组件不参与编译；
63.如果是m：表示将该功能组件编译成可动态加载的模块。
64.1、linux内核编译过程分析
65.linux内核编译是通过kbuild系统来实现，内核编译包含两个步骤，首先是把.c格式的源文件编译成.o格式的目标文件；然后是将大量.o目标文件链接成可执行文件。其中，在编译阶段，一个高级语言的.c源文件或者汇编.s源文件都会对应一个.o的目标文件。
66.在执行make命令进行编译时，会根据makefile文件定义的方式来编译源代码和链接程序。makefile文件分布在linux内核源代码的各个目录中，对各个功能组件的编译规则进行独立的定义。makefile包含五个内容：
67.(1)、顶层makefile：源代码根目录下的makefile文件，该文件作用是：编译生成vmlinux和各种模块。
68.(2)、内核配置文件.config：.config用户保存用户对内核配置项的设置信息
69.(3)、arch/$(arch)/makefile：根据指定的平台架构对内核进行相应的配置，其中arch可以为x86，arm64，mips或其它cpu架构。
70.(4)、scripts/makefile.*：定义构建内核的通用规则
71.(5)、kbuild makefiles：定义每个内核功能组件的编译规则，特别地，如果子目录下同时存在"makefile"和"kbuild"文件，则优先使用"kbuild"文件。
72.基于kbuild系统进行linux内核编译的流程如下：
73.通过make命令进行linux内核编译，是通过顶层makefile递归向下访问子目录的方式来生产vmlinux和各种模块，顶层makefile通过读取.config文件，来决定需要访问哪些子目录参与内核的编译。通过读取arch/$(arch)/makefile的内容确定平台的架构信息。scripts/makefile.*文件包含了所有关于编译的定义、规则等信息。每个子目录中都有一个kbuild或makefile文件，可用来执行从其上层目录传递下来的编译命令。所有的kbuild
或makefile文件都是从.config文件中读取内核的配置项信息，从而根据配置项的设置值，选择需要参与编译的文件。通过上述五个方面的内容，可最终实现对内核的编译、链接。
74.2、kbuild makefile文件语法分析
75.kbuild makefile主要功能是指定哪些内核源代码文件参与编译，并规定了编译的方式，该功能通过以下三个字段进行指定：
76.(1)、obj
‑“
xxx”77.语法为：obj-xxx＝“target”.o，其中“xxx”可以是：
78.·“y”：表示将该功能组件默认编译进内核；
79.·“m”：表示将该功能组件默认编译成可动态插入内核的模块。
80.·“$(config_yyy)”：表示该功能组件的编译方式取决于.config中对配置项config_yyy的设置。
[0081]“target”为目标文件的名字，且该目标文件会对应一个target.c或target.s源代码文件。如果“config_yyy”既不是y也不是m，那么该目标文件将不会被编译也不会被连接。
[0082]
(2)、“target
”‑
objs
[0083]
语法为：“target
”‑
objs＝“target
1”.o“target
2”.o
……“
target
n”.o
[0084]
该字段表示：一个目标文件“target”.o文件是由多个子目标文件：“target
1”.o，“target
2”.o，
……
，“target
n”.o组成。
[0085]
(3)、lib
‑“
xxx”[0086]
语法为：lib-xxx＝“target”.o，其中“xxx”可以是：
[0087]“y”：表示将该功能组件编译进一个单独的库文件；
[0088]“m”：为了一致性，与“y”的定义一致。
[0089]
该字段表示：将目标文件编进一个库文件。lib
‑“
xxx”通常出现在lib/和arc/*/lib子目录中。
[0090]
3、linux内核裁剪的新需求
[0091]
传统的内核裁剪技术是根据应用场景、硬件设备的特点，将不需要的内核功能组件设置为不参与编译，即实现了对这些内核功能组件的裁剪。传统内核裁剪的主要目标是在满足场景需求的条件下，构造一个最小规模的二进制内核文件。
[0092]
目前，随着linux系统的应用领域越来越广泛，应用场景也越来越复杂。基于linux定制专用内核的需求也越来越多，尤其是基于linux定制裁剪专用的嵌入式系统。并且对linux内核裁剪也产生了新的需求，主要表现为针对linux内核源代码文件的裁剪。对linux内核源代码的裁剪主要有以下两个原因：
[0093]
(1)对于一些对源代码安全要求极其严格的领域，针对操作系统、业务系统等软件都需要进行源代码的人工审查。但是标准的linux内核，例如linux 5.4版本的内核大致有2762万多行代码，如果对全部源代码进行安全审查，工作量将是巨大的。另外，并不是内核中所有代码都会参与编译生成最终的二进制内核，因此如果对所有内核源代码都进行安全审查，会造成巨大的不必要的工作量。因此，需要针对linux内核源代码文件进行裁剪。
[0094]
(2)同样是针对软件代码的安全问题，特别是在航天航空、汽车电子、工业控制等领域，对软件代码的可信验证尤为重要。可信认证通常是采用形式化验证技术对软件代码进行安全验证，形式化验证基于形式化规约，通过对软件代码进行模型构建，再利用模型检
测手段验证软件系统是否满足设定的功能特性、是否存在安全隐患。对软件代码形式化验证的难点是对软件代码建模后会出现状态空间爆炸的情况，造成形式化验证的计算量十分巨大。因此，对于几千万行的全部linux内核代码进行形式化验证，会出现状态空间爆炸的问题，即使是对状态空间进行缩减，计算量也是庞大的，很难在可接受的时间内完成对如此大规模软件代码的形式化验证工作。因此，需要针对linux内核源代码文件进行裁剪。
[0095]
另外，通过裁剪linux内核源代码，可以提高内核研发人员的工作效率。总之，对于一个特定的应用场景、定制化的硬件平台，对linux内核源代码的裁剪成了当前的一个新需求。
[0096]
针对linux内核源代码裁剪的需求，基于对linux内核编译过程的分析，本发明提出一种基于内核配置文件的自动化linux源代码裁剪技术，可实现对不参与内核编译的内核源代码文件进行裁剪，只保留需要的内核源代码文件。达到linux内核源代码文件最小化裁剪的目的。
[0097]
4、参与linux内核编译的源代码文件列表制定
[0098]
要对linux内核源代码文件进行裁剪，首先需要确定哪些文件会参与内核的编译，从而形成一个文件列表，然后再基于该文件列表实现对内核源代码文件的裁剪。linux内核自动化裁剪的流程如下：
[0099]
(1)根据需求配置内核，生成.config文件
[0100]
首先内核研制人员需根据应用场景、硬件设备的特点，手动对内核进行配置，生成内核配置文件.config。
[0101]
(2)生成参与内核编译的源文件列表
[0102]
当内核研制人员配置.config文件后，即可实现内核的编译，内核编译主要是将内核源代码.c、.s等文件编译进内核文件、内核模块或库文件。其中，源代码文件在编译时，通常会调用头文件，因此参与编译的文件还会包含.c、.s文件中所调用的.h头文件。最终可以将参与编译内核编译的文件形成一个源代码文件列表list1，显然源代码文件列表list1中的文件是全部linux内核文件的真子集。
[0103]
对linux内核编译时，基于每个子目录的kbuild makefile和.config文件，可确定需要参与内核编译的源代码文件列表list1，生成源代码文件列表list1的流程如下图所示：
[0104]
(3)生成辅助linux内核配置/构建文件列表
[0105]
在linux内核源代码文件中，除了用于编译内核的源代码文件，还有一些用于辅助linux内核配置、构建的文件，主要包含以下三类：
[0106]
1)kconfig文件定义了一套完整的规则来表述配置项及配置项间的关系，是配置项的描述文件，顶层以及各个子目录都包含有kconfig文件。
[0107]
2)kbuild包含5类文件：顶层makefile、内核配置文件.config、arch/$(arch)/makefile、scripts/makefile.*、kbuild makefiles。
[0108]
3)/scripts目录下的文件：该目录只包含了用来配置内核的脚本文件。当配置内核时，需要和该目录下的脚本进行交互。
[0109]
上述三类文件形成了辅助linux内核配置、构建的文件列表list2。文件列表list2的生成只需要在源代码目录中根据文件名搜索即可得到。
[0110]
5、linux内核源代码裁剪流程设计
[0111]
在得到文件列表list1、list2之后，通过删除不在list1,list2列表中的文件，即可实现对linux内核源代码文件进行裁剪，裁剪流程如下：
[0112]
1)/arch目录裁剪：根据目标平台的架构，将/arch目录下除了目标平台架构的子目录全部删除；
[0113]
2)/documentation目录裁剪：该目录包含了关于内核的帮助说明文档，不参与内核编译，因此全部删除；
[0114]
3)/samples目录裁剪：该目录包含了一些关于内核的编程范例，不参与内核编译，因此全部删除；
[0115]
4)/tools目录裁剪：该目录包含了一些与内核交互的工具，不参与内核编译，因此全部删除；
[0116]
5)其它目录裁剪：删除不在文件列表list1、list2中的所有文件。
[0117]
总之，基于上述步骤，即可实现对linux内核源代码文件的裁剪。
[0118]
本领域技术人员可以理解，实现上述实施例方法的全部或部分流程，可以通过计算机程序来指令相关的硬件来完成，所述的程序可存储于计算机可读存储介质中。其中，所述计算机可读存储介质为磁盘、光盘、只读存储记忆体或随机存储记忆体等。
[0119]
以上所述，仅为本发明较佳的具体实施方式，但本发明的保护范围并不局限于此，任何熟悉本技术领域的技术人员在本发明揭露的技术范围内，可轻易想到的变化或替换，都应涵盖在本发明的保护范围之内。