💡
原文英文,约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上成功展示。
➡️