> Sorry about that! I forgot to mention that this facility was > added around Jan 30, 2013. See Dom's message on page 12 on > http://www.raspberrypi.org/phpBB3/viewtopic.php?f=29&t=19334&p=273944#p273944 > Make sure you have firmware as least as recent as that. Not > sure if Richard's 9pi image on sources has something more > recent. I will check this evening.
no problems. i am using very old firmware because of the problems experienced in upgrading at one point. can you post the exact version required? i may do as i did for the amd64 RDRAND. - erik
