like before one is the xtea, one is the picorv32a (I stopped the pico after a few iterations, since it used to take 40 min total)