This repository contains GitHub workflows for ports of the Inferno operating system to various hardware platforms.
Each build is defined in a workflow file that describes the process of cloning the appropriate repository, obtaining dependencies and building the port.
Generally, the name of each workflow file reflects the branch name in the repository associated with that build. The exception to this being the hosted i386 build.
When browsing the repository on GitHub, you can select the Actions tab on the repository page to see recent builds.
When enabled, builds are performed for the following ports:
- STM32F405
- SAMD51
- Apollo3
- Teensy 4.1
- Raspberry Pi 1 or Raspberry Pi Zero (using yshurik's port)
- Raspberry Pi Pico (using Caerwyn's port)
There is also a build for the hosted i386 version of Inferno.
See the latest information for a list of the ports that are built using workflows.