3 ms·

This would be awesome. Running unikernels on top of a formally verified layer sounds really interesting.