Kernel threat model - FreeRTOS™