<p>People sometimes ask which <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="tag">#<span>unikernel</span></a> we actively use (as proof of our work). Currently, <a href="https://paste.osau.re" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">paste.osau.re</span><span class="invisible"></span></a> is a unikernel in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="tag">#<span>OCaml</span></a>, and it has been running (without interruption) for over a year. Feel free to use this service (free of charge) to share code snippets, and if you like what we do, you can sponsor us via GitHub (<a href="https://github.com/sponsors/robur-coop" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/sponsors/robur-coop</span><span class="invisible"></span></a>).</p>