[cc me please] Dear armhf gurus,
Could someone please confirm that abel.d.o hardware is almost like a good old RaspberryPi Model 2B ? I am trying to understand why valgrind is supposed to work on arm32/linux but fails miserably on abel.d.o. Thanks for your kind help