4 ms·I am hopeful for a secure and reliable seL4-based firmware for KVM devices such as this one.by snvzz 2y agoI am hopeful for a secure and reliable seL4-based firmware for KVM devices such as this one.