This repository contains the source for the Phoenix-RTOS microkernel. IA32, ARM, ARMv7, RISCV64 architectures are supported.
To compile microkernel for target architecture edit Makefile and TARGET variable and after this type:
$ make clean
$ make
This work is licensed under a BSD license. See the LICENSE file for details.