jsarzy / phoenix-rtos-kernel

Phoenix-RTOS microkernel repository

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
• 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.