phoenix-rtos-kernel

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

Supported targets:

• armv7m4-stm32l4x6
• armv7m7-imxrt105x
• armv7m7-imxrt106x
• armv7m7-imxrt117x
• armv7a7-imx6ull
• armv7a9-zynq7000
• ia32-generic
• riscv64-generic
• sparcv8leon-gr716
• sparcv8leon-gr712rc
• sparcv8leon-generic

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.