Ubuntu 16.04下搭建L4Re及Fiasco.OC µ-kernel

L4Re的官网地址 l4re.org

我这里下载的是l4re-base-17.10.tar.bz2 下载地址https://l4re.org/download/snapshots/

解压文件

tar -xjvf l4re-base-17.10.tar.bz2

搭建L4Re运行环境

1.安装必要的文件

sudo apt-get install make gawk g++ binutils pkg-config g++-multilib subversion

2.进入src/l4目录下

cd src/l4

3.编译

make B=path/to/builddir

如果遇到错误：Install ncurses(ncurses-devel) and try again 则安装sudo apt-get install libncurses5-dev 下面这条命令需在全屏下运行。这里不更改配置，直接E退出即可。

make O=path/to/builddir config

下面这条命令需要时间比较长。

make O=path/to/builddir

搭建Fiasco.OC u-kernel

1.编译

cd src/kernel/fiasco make BUILDDIR=mybuild cd mybuild make config make

2.安装QEMU

sudo apt-get install qemu

这里还需安装

sudo apt-get install xorriso

3.运行

进入L4Re-build目录

cd /opt/l4re-base-17.10/src/l4/path/to/builddir

启动L4Re的Hello World程序 这里MODULE_SEARCH_PATH 需更改成自己对应的目录。

make grub2iso E=hello MODULE_SEARCH_PATH=/opt/l4re-base-17.10/src/kernel/fiasco/mybuild/ make qemu E=hello MODULE_SEARCH_PATH=/opt/l4re-base-17.10/src/kernel/fiasco/mybuild/

运行成功的界面