I hope the risc-v verification will pan out in some kind of product where I can actually run a fully verified seL4 in a product I can hold in my hand and tinker

I hope the risc-v verification will pan out in some kind of product where I can actually run a fully verified seL4 in a product I can hold in my hand and tinker with. I say this as a consumer, not a product developer. Even though I run linux I am firmly in the "Tannenbaum was right" camp.