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