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