missing source code (increment_leds.c ) on Using Linux on DE-series Boards

Hello, the PDF "Using Linux on DE-series Boards" does not come with the source code increment_leds.c on page 26 last paragraph. Which is needed for the rest of the appendixes. Is there a way t...