The L4Re Microkernel, Adam Lackorzynski,June 2018

开发环境： ubuntu 20.04

编译目标平台：x86

验证平台：qemu

1、环境搭建

1）下载源码
https://l4re.org/download/snapshots/l4re-base-22.04.0.tar.xz
2）安装相关工具
apt install make dialog gawk g++ binutils pkg-config g++-multilib flex bison device-tree-compiler mtools qemu-system-i386

2、编译

编译 l4re 框架

1）编译配置
cd l4re-base-22.04.0 && make setup
2) 编译
make -j8

编译微内核 fiasco.oc：

1）cd src/kernel/fiasco
2）make BUILDDIR=mybuild
3）cd mybuild
4）make config
5）make -j8

3、运行

1）cd src/l4/mybuild
2) make grub2iso E=hello MODULE_SEARCH_PATH=./../../src/fiasco/mybuild/

附录

L4Re

L4Re（原名为L4Ka::Pistachio）是一款基于微内核设计的操作系统，旨在为嵌入式系统和虚拟化提供支持。它是L4微内核操作系统家族的一部分，基于L4微内核设计。

L4Re的设计具有模块化和可定制化的特点，允许开发人员为特定用例创建自定义配置。它提供一个最小的内核来管理硬件资源并提供基本的系统服务，而大部分操作系统功能都是在内核之上运行的用户级进程实现的。

L4Re经常用于嵌入式系统中，如工业自动化、汽车和航空航天应用程序，以及虚拟化环境中，如虚拟机监视器和容器系统。它在GNU通用公共许可证（GPL）版本2下提供。

L4Re & Fiasco

Fiasco是L4架构的微内核组件。它是一个小巧且模块化的内核，提供基本的硬件抽象和管理低级硬件资源，如内存、中断和I/O。Fiasco还提供了一个接口，让用户级组件可以与硬件和其他用户级组件进行通信。

另一方面，L4Re是一个用户级框架，提供了一组库、工具和应用程序，可以运行在Fiasco微内核之上。L4Re利用Fiasco提供的基本功能创建了一个完整的操作系统，具有模块化和可定制化的特性。

L4Re和Fiasco的关系可以比作房子和它的基础构架。Fiasco是构成操作系统基础的微内核，而L4Re则是在这个基础上建立的一个完整的用户级操作系统。L4Re依赖于Fiasco来提供底层的硬件管理和抽象层，同时还提供了一些高级的服务和库来方便应用程序的开发和运行。

总的来说，L4Re和Fiasco是L4微内核架构中不同层次的组件，它们紧密结合在一起构成了一个灵活、可定制和安全的操作系统架构。

seL4

L4Re是一个面向嵌入式系统和虚拟化的操作系统，它旨在提供一个模块化、可定制和高度灵活的用户级操作系统框架。它基于L4微内核和Fiasco微内核，提供了一组库、工具和应用程序来方便开发人员构建和部署各种嵌入式和虚拟化系统。

seL4是一个高度安全的操作系统，它旨在提供最高级别的保护和隔离。它采用了严格的形式化验证方法来证明其正确性和安全性，这使得它能够被广泛用于高度安全的领域，如国防、金融和关键基础设施。seL4的设计使得它能够提供严格的隔离和保护，从而防止恶意软件或攻击者对系统进行攻击或破坏。

尽管L4Re和seL4都是基于微内核的操作系统，但它们的设计和用例有所不同。L4Re旨在提供灵活和可定制的嵌入式和虚拟化系统，而seL4旨在提供高度安全的操作系统，可以用于安全性要求非常高的领域。

皮格马利翁效应心理学指出，赞美、赞同能够产生奇迹，越具体，效果越好~

“收藏夹吃灰”是学“器”练“术”非常聪明的方法，帮助我们避免日常低效的勤奋~