Murisi/patch keys 0.6.1#146

murisi wants to merge 5 commits intojurevans/patch-keys-0.6.1anoma/arm-risc0:jurevans/patch-keys-0.6.1from

murisi/patch-keys-0.6.1anoma/arm-risc0:murisi/patch-keys-0.6.1Copy head branch name to clipboard