Additional information for Embedded Linux course