These files are designed to run Digilent's PmodJSTK2 with Digilent's JTAG-HS2. There is no further support for these outside of the two files, so they only exist for the users amusement.