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/
运行成功的界面
