This page contains pre-built kernel files, or system images, for ports of the Inferno operating system to various devices.
The workflows used to build these ports can be found in this repository.
Each of the following sections contains information about a port of Inferno and a kernel to download for testing. Once you have verified that a kernel basically works, you should clone the repository for that platform and customize the build to suit your own requirements.
The port for the Ambiq Apollo3 Blue system on a chip that is used in the SparkFun MicroMod Artemis processor board.
The Apollo3, STM32F405 and Teensy 4.1 MicroMod builds are also built together from a source tree in which all three ports use a common base.
The port for the original Raspberry Pi and Raspberry Pi Zero development boards.
The port for the Microchip ATSAMD51J20 microcontroller that is used in the SparkFun MicroMod SAMD51 processor board.
The port for the STM32F405 microcontroller that is used in the SparkFun MicroMod STM32 processor board.
The port for the i.MX RT1062 system on a chip that is used in the SparkFun MicroMod Teensy processor board and the version with copy protection.