grcard2-set-{adm,super}-hex commands implemented It appears that GrcardSIM2 cards allow arbitrary 64-bit keys for ADM and SUPER ADM, not necessarily consisting of ASCII digits like the specs require for standard PIN and PUK, and pySim-prog.py in fact sets the ADM key to 4444444444444444 in hex by default, which is not an ASCII digit string. If the cards allow such keys, we need to support them too.

PROGDIR=misc simtool uicc
LIBDIR=	libcommon
SUBDIR=	${PROGDIR} ${LIBDIR}

all:	${SUBDIR}

misc:		libcommon
simtool:	libcommon
uicc:		libcommon

${SUBDIR}: FRC
	cd $@; ${MAKE} ${MFLAGS}

clean: FRC
	rm -f a.out core errs
	for i in ${SUBDIR}; do (cd $$i; ${MAKE} ${MFLAGS} clean); done

install: FRC
	for i in ${PROGDIR}; do (cd $$i; ${MAKE} ${MFLAGS} install); done

FRC: