Openembedded layer for the Texas Instruments Introduction to Embedded Linux workshop