~sircmpwn/helios

An experimental microkernel

0e568ba README.md: s/uguu.se/l.sr.ht/

5 hours ago

e21b2c8 README.md: s/uguu.se/l.sr.ht/

5 hours ago

#Helios microkernel

An experimental microkernel inspired by seL4. WIP

Picture of Helios booting on a ThinkPad

We meet in the #helios channel on irc.libera.chat.

#Building

Dependencies:

  • A Hare toolchain
  • An x86_64 GNU binutils
  • syslinux
  • xorriso
  • For debugging: qemu

The first time building, run cp config.def.mk config.mk, then edit config.mk to suit your needs.

Run make to build boot.iso, which can be written to a USB stick and booted on hardware, or make run to boot it in qemu.