The armdebug project is dual licensed. You can either use the GNU GPLv2 license in GNU-GPLv2.txt, or else the "LEGO Open Source License" in LEGO_Open_Source_License.doc to redistribute the code.