Configuration files. Nexys top shell is the updown counter