原文英文,约3600词,阅读约需13分钟。
📝
内容提要
Helios是一个用Hare编程语言编写的微内核,本月早些时候在FOSDEM上做了一次演讲,并从Raspberry Pi 4上演示了它的运行,经过24天的努力,Helios最终在FOSDEM上展示了它的运行。
🎯
关键要点
-
Helios是用Hare编程语言编写的微内核,最近在FOSDEM上进行了演讲并展示了其在Raspberry Pi 4上的运行。
-
Helios最初设计用于x86_64架构,后来成功移植到aarch64架构。
-
启动过程包括引导加载程序加载内核、内核配置系统和加载初始化进程。
-
引导加载程序与内核分离,内核是一个简单的ELF可执行文件。
-
在aarch64上,使用EFI和设备树来简化引导过程,edk2是实现EFI的自由软件选择。
-
引导加载程序的实现涉及手动编写PE32+头部和使用binutils进行格式调整。
-
Helios的引导加载程序需要处理EFI内存映射和初始化内存分配器。
-
内存映射初始化函数扫描EFI内存映射并准备高水位分配器。
-
内核加载过程相对简单,使用ELF加载器加载内核映像。
-
在退出EFI引导服务后,配置MMU以满足内核的需求。
-
Helios的移植工作历时24天,最终在FOSDEM上成功展示。
🏷️