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

继续阅读