seL4环境配置

  转载声明：希望大家能够从这里收获知识之外，也能够体会到博主撰写博客的辛苦。个人博客势单力薄，对于强转甚至转载博客访问量高于原文的例子不在少数。

　　希望能够得到大家关注的同时，也能够稍微体谅一下博主的不易。

　　

　　既然奔着seL4来的，那么对于宏内核与微内核的区别应该是很清楚的了，在此就简单地介绍两者的区别，本文主要用来完成seL4环境配置工作。

　　 对于小白来说，自己独自完成对seL4微内核的阅读和理解真的很困难，目前跟着老师助教一起进行对seL4微内核的分析和理解。所以准备长期更新seL4学习的博客，希望大家多多支持，错误之处还请各位帮忙指出改正。

对于两者的区别也就简单提一下，相关的资料十分充足可以自行查找满足自己的需求。

微内核：所有的服务器都相对独立并且运行在各自的地址空间。通过进程间通信机制（IPC）实现进程之间的通讯，互换“服务”。服务器的独立运行避免了一个服务器崩溃或及其他的服务器。

宏内核：也称为单内核，将内核从整体上作为一个大过程实现，并且同时运行在一个单独的地址空间。这也意味所有的内核服务之间可以直接调用函数，简单高效。

下图为宏内核与微内核架构图：

seL4 官网：http://sel4.systems/

seL4 wiki：https://wiki.sel4.systems/

seL4 项目主页：http://ts.data61.csiro.au/projects/seL4/

在安装和运行seL4系统之前，需要在机器上安装必要的安装包。这里假设大家都安装在Linux系统之上，并且下面的示例均为Ubuntu14.04版本（64-bit）或者可以安装在Ubuntu16.04版本（64-bit），当然也可以尝试其他的Unix系统（包括Mac OS）等。

下图为进行第一个实验的要求：

下面进行第一个seL4实验：

下面为获取代码以及第一个实验执行hello1的指令

首先先将需要的seL4程序从git上面clone下来,指令如下所示：

>git clone https://github.com/zpfbuaa/seL4.git

其中后面的程序地址可以是其他的只要是源码就行了，上面是指提供一个方便大家的链接。

为了避免链接失败，下面再多给些地址：

https://github.com/xcgxg/sel4-tutorials-manifest.git（和上述指令相同）

http://pan.baidu.com/s/1jIsdVTG （直接下载到Linux机器上就可以了）

http://pan.baidu.com/s/1kV2RkVH（直接下载就可以了）

该步目的在于完成对源码的clone工作，为后期的源码阅读做准备。

假设大家都已经准备好了上述源码的工作。

对于文件怎样

下面需要对源码进行一系列的配置操作。

https://github.com/SEL4PROJ/sel4-tutorials/blob/master/Prerequisites.md

可以参照上述的链接。不过出现的问题就是安装的东西有点多，甚至有些不必要安装，看到上述的指令不要想就知道很麻烦。

下图为代码下载解压之后的文件，其中rebuild.sh文件可能不存在，只是自己写的一个指令脚本，用来对代码进行clean等操作。

下面为rebuild.sh文件的内容

下图解释每个指令的作用：

上述rebuild.sh文件的执行指令为:

> sh rebuild.sh

通过上述指令，可以重新build项目。

之后执行下述指令

产生错误信息如下所示：

原因是src/main.o以及src/util.o文件缺少，其中main.o以及util.o文件都是通过相对应的.c文件经过编译得到的，也就是意味着main.c以及util.c文件出现了错误。所以下一步需要对src/main.c以及src/util.o文件经行必要的修改，来完成我们的第一个实验hello1。

具体的文件路径如下图所示：

下面我们查看main.c文件，可以使用指令gedit main.c同样也可以使用vim main.c

通过上述的提示，告诉我们需要添加一个main函数用来打印一条消息，因为我们的第一个实验就是hello1嘛，所以就直接让程序打印HelloWorld未尝不可。

这样经过上述的操作，我们就可以开心地运行我们的helloworld程序了。

首先还是先运行sh rebuild.sh，重建项目。

下图为需要进行的实验hello-1的运行指令：

运行该指令文件结果如下所示：

其中会在下面这个地方稍微等待一下：

接着程序进行编译，编译结果如下：

这样我们就可以运行我们的hello1程序了，运行指令如下：

> qemu-system-i386 -nographic -m 512 -kernel images/kernel-ia32-pc99 -initrd images/hello-1-image-ia32-pc99

注意这里可能报错，如果之前工作没有错误的话，这里报的错误应该就是缺少程序包。由于已经安装时错误截图没有保留，所以没法给大家看具体的错误截图了。

如果没记错的话，缺少的安装包应该就是这个qemu-system-x86，如果不是这个的话，大家按照提示缺少的安装包进行安装即可。

> sudo apt-get install qemu-system-x86

修复上述问题之后，运行结果如下所示：

经过上述的操作，对于seL4的基本配置已经告一段落。

接下来就开始对seL4源码的阅读分析。

另外推荐一个不错的链接：

推荐技术分享网站：http://www.jianshu.com/users/d130a6d54c7b/latest_articles（技术分享，欢迎大家捧场）