This is what we did for our KV store at S3: https://www.amazon.science/publications/using-lightweight-fo...

Using https://github.com/awslabs/shuttle which works on our real Rust code.