Additional information and sources for Embedded Linux Course