/phoenix-rtos-kernel

Phoenix-RTOS microkernel repository

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

phoenix-rtos-kernel

This repository contains the source for the Phoenix-RTOS microkernel.

Supported targets:

  • armv7m3-stm32l152xd
  • armv7m3-stm32l152xe
  • armv7m4-stm32l4x6
  • armv7m7-imxrt105x
  • armv7m7-imxrt106x
  • armv7m7-imxrt117x
  • armv7a7-imx6ull
  • armv7a9-zynq7000 (port under development)
  • ia32-generic
  • riscv64-spike
  • riscv64-virt

Building kernel

To compile the kernel and build the operating system image phoenix-rtos-project repository should be used. Please read the instruction in this repository.

License

This work is licensed under a BSD license. See the LICENSE file for details.