https://www.tomek.cedro.info/apache-nuttx-rtos-pmc/