edu25f.bin: edu25f.pal
	pal -d $<
	binsvcmp $@ edu25f.sv