Robuta

https://doc.rust-lang.org/core/arch/riscv64/fn.kadd8.html kadd8 in core::arch::riscv64 - Rust Adds packed 8-bit signed numbers, saturating at the numeric bounds corearchrust