initial RIOT-rs port of the ml-kem benchmark#11

kaspar030 wants to merge 1 commit into

celabshq:maincelabshq/libcrux-iot:mainfrom

kaspar030:riot-rs-initialkaspar030/libcrux-iot:riot-rs-initialCopy head branch name to clipboard