Simplifying a key-value service using CHERIoT (via calvin) — discussion

#programming