References

Intel. (2015, May). Intel Edison Board Support Package. Retrieved December 14, 2015, from http://download.intel.com/support/edison/sb/edisonbsp_ug_331188007.pdf

Fu, L., & Schwebel, R. (n.d.). RT PREEMPT HOWTO. Retrieved December 16, 2015, from https://rt.wiki.kernel.org/index.php/RT_PREEMPT_HOWTO

Hart, D., & Intel. (n.d.). Yocto Project Linux Kernel Development Manual. Retrieved December 16, 2015, from http://www.yoctoproject.org/docs/1.6.1/kernel-dev/kernel-dev.html