Don't know how to change your default OS? This post helps you out.
This blog is about adding board specific features to Amazon FreeRTOS OS
Intel Media SDK in Ubuntu? Find out more here.