lab 07 of the Texas Instruments "Introduction to Embedded Linux" workshop