Fosstodon

DinosaureI just spent probably two week to implement a <a href="https://mastodon.social/tags/NTP" class="mention hashtag" rel="nofollow noopener" target="_blank">#NTP</a> server as an <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a>. It was pretty... tuff! My recent outcome is that my "skew" is ~3.5e-7 where chrony has a skew around 1e-6. In other words, the error is overall smaller in my implementation than in chrony's.I will continue to compare metrics, but it is quite satisfying to confirm the suitability of unikernels for this type of service.

Hacker NewsUnikernel Linux (UKL) (2023)<a href="https://dl.acm.org/doi/10.1145/3552326.3587458" rel="nofollow noopener" translate="no" target="_blank">https://dl.acm.org/doi/10.1145/3552326.3587458</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unikernel</a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> <a href="https://mastodon.social/tags/UKL" class="mention hashtag" rel="nofollow noopener" target="_blank">#UKL</a> #2023 <a href="https://mastodon.social/tags/virtualization" class="mention hashtag" rel="nofollow noopener" target="_blank">#virtualization</a> <a href="https://mastodon.social/tags/unikernels" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernels</a> <a href="https://mastodon.social/tags/techinnovation" class="mention hashtag" rel="nofollow noopener" target="_blank">#techinnovation</a>

DinosaurePeople sometimes ask which <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> we actively use (as proof of our work). Currently, <a href="https://paste.osau.re" rel="nofollow noopener" translate="no" target="_blank">https://paste.osau.re</a> is a unikernel in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</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" rel="nofollow noopener" translate="no" target="_blank">https://github.com/sponsors/robur-coop</a>).

N-gated Hacker News🚀🤡 "Breaking news: some geniuses put <a href="https://mastodon.social/tags/Chromium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Chromium</a> on a <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>, because why not make web browsing even more existentially confusing? Meanwhile, <a href="https://mastodon.social/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#GitHub</a> still insists that <a href="https://mastodon.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> can fix everything, except maybe their own navigation menu. 🤖✨" <a href="https://github.com/onkernel/kernel-images" rel="nofollow noopener" translate="no" target="_blank">https://github.com/onkernel/kernel-images</a> <a href="https://mastodon.social/tags/WebBrowsing" class="mention hashtag" rel="nofollow noopener" target="_blank">#WebBrowsing</a> <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#TechNews</a> <a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/ngated" class="mention hashtag" rel="nofollow noopener" target="_blank">#ngated</a>

Hacker NewsWe Put Chromium on a Unikernel (OSS Apache 2.0)<a href="https://github.com/onkernel/kernel-images" rel="nofollow noopener" translate="no" target="_blank">https://github.com/onkernel/kernel-images</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Chromium" class="mention hashtag" rel="nofollow noopener" target="_blank">#Chromium</a> <a href="https://mastodon.social/tags/Unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unikernel</a> <a href="https://mastodon.social/tags/OSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OSS</a> <a href="https://mastodon.social/tags/Apache2" class="mention hashtag" rel="nofollow noopener" target="_blank">#Apache2</a>.0 <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#TechNews</a> <a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSource</a>

hannesMeet Mollymawk, our web UI for orchestrating <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#MirageOS</a> unikernels, funded by NLnet <a href="https://mastodon.xyz/@NGIZero" class="u-url mention" rel="nofollow noopener" target="_blank">@NGIZero</a> <a href="https://blog.robur.coop/articles/mollymawk-first-milestone.html" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/mollymawk-first-milestone.html</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>

DinosaureI did few works for these days to be able to build-up an <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> with <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> 5 and <a href="https://mastodon.social/tags/effects" class="mention hashtag" rel="nofollow noopener" target="_blank">#effects</a> (via miou-solo5: <a href="https://github.com/robur-coop/miou-solo5" rel="nofollow noopener" translate="no" target="_blank">https://github.com/robur-coop/miou-solo5</a>). And now, the unikernel can respond to (a simple Hello World!) 🎉 with µTCP (<a href="https://github.com/robur-coop/utcp" rel="nofollow noopener" translate="no" target="_blank">https://github.com/robur-coop/utcp</a>) it's a great achievement!

Patrick MarchandI didnt know <a href="https://bsd.network/tags/Nanovms" class="mention hashtag" rel="nofollow noopener" target="_blank">#Nanovms</a> had ported <a href="https://bsd.network/tags/OpenBSD" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenBSD</a> pledge / unveil to their <a href="https://bsd.network/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> That's pretty cool<a href="https://nanovms.com/dev/tutorials/applying-sandbox-security-node-js-unikernels-openbsd-pledge-unveil" rel="nofollow noopener" target="_blank">https://nanovms.com/dev/tutorials/applying-sandbox-security-node-js-unikernels-openbsd-pledge-unveil</a>

HoldMyTypetil <a href="https://mathstodon.xyz/tags/mirageos" class="mention hashtag" rel="nofollow noopener" target="_blank">#mirageos</a> unikernel can have muen separation kernel as a target Is there such a <a href="https://mathstodon.xyz/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> written in <a href="https://mathstodon.xyz/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#rust</a> ? <a href="https://mathstodon.xyz/tags/Ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ocaml</a> <a href="https://github.com/RyanGibb/hillingar/blob/fc15f4d8f8795d726439590272b65414a4c3dbaf/src/mirage.nix#L120" rel="nofollow noopener" translate="no" target="_blank">https://github.com/RyanGibb/hillingar/blob/fc15f4d8f8795d726439590272b65414a4c3dbaf/src/mirage.nix#L120</a> cc <a href="https://mastodon.social/@hannesm" class="u-url mention" rel="nofollow noopener" target="_blank">@hannesm</a>

gemma lynni'm really proud of my team at <a href="https://void.ello.tech/tags/prisma" class="mention hashtag" rel="nofollow noopener" target="_blank">#prisma</a> today, we're launching some <a href="https://www.prisma.io/blog/prisma-postgres-the-future-of-serverless-databases" rel="nofollow noopener" target="_blank">very cool tech</a><a href="https://void.ello.tech/tags/postgres" class="mention hashtag" rel="nofollow noopener" target="_blank">#postgres</a> <a href="https://void.ello.tech/tags/postgresql" class="mention hashtag" rel="nofollow noopener" target="_blank">#postgresql</a> <a href="https://void.ello.tech/tags/yetanotherserverlesspostgres" class="mention hashtag" rel="nofollow noopener" target="_blank">#yetAnotherServerlessPostgres</a> <a href="https://void.ello.tech/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> <a href="https://void.ello.tech/tags/unikraft" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikraft</a>

DACBARBOS BrandOSv is the open-source versatile modular <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> designed to run unmodified Linux applications securely on micro-VMs in the cloud. <a href="https://osv.io" rel="nofollow noopener" translate="no" target="_blank">https://osv.io</a>

DinosaureMy conference at <a href="https://mastodon.social/tags/ICFP2024" class="mention hashtag" rel="nofollow noopener" target="_blank">#ICFP2024</a> about Bob was just published here: <a href="https://www.youtube.com/watch?v=COmi9e7wHtI&ab_channel=ACMSIGPLAN" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=COmi9e7wHtI&ab_channel=ACMSIGPLAN</a> It's a simple tool to transfer files in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> and an <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>. It is also an actually portable executable, thanks to <a href="https://mastodon.social/tags/Cosmopolitan" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cosmopolitan</a>. It's available here: <a href="https://bob.osau.re/" rel="nofollow noopener" translate="no" target="_blank">https://bob.osau.re/</a>

HoldMyTypeUnikernels on the other hand don’t have system calls. They only have function calls. For an attacker this means they’ll have to know the exact memory layout of your application in order to invoke the operating system. You’ll need to know the exact 64 bit address of the function you’re invoking. Good luck guessing that address. Our own unikernel, IncludeOS, randomizes addresses at each build, so even with access to source code you still don’t know the memory layout. <a href="https://mathstodon.xyz/tags/IBM" class="mention hashtag" rel="nofollow noopener" target="_blank">#IBM</a> research has spearheaded a new effort with their ukvm project. Ukvm is a replacement for QEMU specifically built for unikernels. Solo5 provides a framework for unikernels to boot a VM that is backed by ukvm instead of QEMU. Both IncludeOS and <a href="https://mathstodon.xyz/tags/MirageOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#MirageOS</a> are already capable of booting using the Solo5 core and efforts are underway to port HaLVM to Solo5/ukvm. The Muen Separation Kernel also has a Solo5 port and it’ll be exciting to see if the more traditional operating systems will follow suit. I found a syscall shim for it <a href="https://github.com/unikraft/unikraft/tree/staging/lib/syscall_shim" rel="nofollow noopener" translate="no" target="_blank">https://github.com/unikraft/unikraft/tree/staging/lib/syscall_shim</a> <a href="https://mathstodon.xyz/tags/Unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unikernel</a> <a href="http://unikernel.org/blog/2017/unikernels-are-secure" rel="nofollow noopener" translate="no" target="_blank">http://unikernel.org/blog/2017/unikernels-are-secure</a>

xyhhx 🔻 (plz hire me)any yall worked with unikraft? it looks so sick, but it cant be *that* easy to create unikernels can it?<a href="https://unikraft.org" rel="nofollow noopener" translate="no" target="_blank">https://unikraft.org</a> <a href="https://github.com/unikraft" rel="nofollow noopener" translate="no" target="_blank">https://github.com/unikraft</a><a href="https://nso.group/tags/unikraft" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikraft</a> <a href="https://nso.group/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>

hannesPleased to announce our latest project DNSvizor <a href="https://blog.robur.coop/articles/dnsvizor01.html" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/dnsvizor01.html</a> funded by <a href="https://mastodon.social/tags/NGI0_entrust" class="mention hashtag" rel="nofollow noopener" target="_blank">#NGI0_entrust</a> <a href="https://mastodon.social/tags/nlnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#nlnet</a> <a href="https://mastodon.xyz/@NGIZero" class="u-url mention" rel="nofollow noopener" target="_blank">@NGIZero</a> <a href="https://social.nlnet.nl/@nlnet" class="u-url mention" rel="nofollow noopener" target="_blank">@nlnet</a> <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#MirageOS</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/DNS" class="mention hashtag" rel="nofollow noopener" target="_blank">#DNS</a> <a href="https://mastodon.social/tags/DHCP" class="mention hashtag" rel="nofollow noopener" target="_blank">#DHCP</a> <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>

hannesWe wrote some history of runtime arguments in MirageOS - the last decade of hello world <a href="https://blog.robur.coop/articles/arguments.html" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/arguments.html</a> <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#MirageOS</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> <a href="https://asciinema.org/a/681922" rel="nofollow noopener" translate="no" target="_blank">https://asciinema.org/a/681922</a>

alip<a href="https://mastodon.online/tags/sydbox" class="mention hashtag" rel="nofollow noopener" target="_blank">#sydbox</a>-3.27.0 has been released! This release adds support to set secure-execution mode (aka AT_SECURE) and IP blocklists which can be used to build application level firewalls. <a href="https://mastodon.online/tags/sydbox" class="mention hashtag" rel="nofollow noopener" target="_blank">#sydbox</a> is a rock-solid <a href="https://mastodon.online/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> to <a href="https://mastodon.online/tags/sandbox" class="mention hashtag" rel="nofollow noopener" target="_blank">#sandbox</a> apps on <a href="https://mastodon.online/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> >=5.19 written in <a href="https://mastodon.online/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a>: <a href="https://is.gd/syd_3_27_0" rel="nofollow noopener" translate="no" target="_blank">https://is.gd/syd_3_27_0</a> <a href="https://mastodon.online/tags/exherbo" class="mention hashtag" rel="nofollow noopener" target="_blank">#exherbo</a>

reynirWhat is the collective noun for a group of unikernels?<a href="https://bsd.network/tags/mirage" class="mention hashtag" rel="nofollow noopener" target="_blank">#mirage</a> <a href="https://bsd.network/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ocaml</a> <a href="https://bsd.network/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a>

DinosaureA new release of <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ocaml</a>-tar, a retrospective: <a href="https://blog.robur.coop/articles/tar-release.html" rel="nofollow noopener" translate="no" target="_blank">https://blog.robur.coop/articles/tar-release.html</a> <a href="https://mastodon.social/tags/MirageOS" class="mention hashtag" rel="nofollow noopener" target="_blank">#MirageOS</a> <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a>

DinosaureB · o · B, a universal peer to peer file-transfer in <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> with an <a href="https://mastodon.social/tags/unikernel" class="mention hashtag" rel="nofollow noopener" target="_blank">#unikernel</a> was accepted for the <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> workshop. You can see details here: <a href="https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml" rel="nofollow noopener" translate="no" target="_blank">https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml</a> See you in Milan! I'm happy that robur.coop has a place in such event.

Recent searches

Search options

Administered by:

Server stats:

#unikernel