/openpcd/firmware/src/picc/