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