Great software! Be aware of a bug in the R3 UART driver in the SetBaud function. When the baud rate is calculated, it is overwritten by the UART source register B immediately after.
you should write and sell a book on how to write a rtos from scratch with code, to help newbie like me :). my dream is to write my own rtos but first I have to understand funkos well. this is great stuff...