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