1
My First Unikernel
I wanted to make a simple REST service for queuing file uploads, deployable as a virtual machine. The traditional way to do this is to download a …
Thomas Leonard
- Popular posts
- 9
- Total points
- 1,384
- HN comments
- 555
- Rank
- #1,407 personal
Visit roscidus.com → On Hacker News Sep 2013 – Dec 2021
Software Engineering 6Systems & Performance 5Programming Languages 3Security & Privacy 2Open Source 1
2
Using TLA+ to Understand Xen Vchan
The vchan protocol is used to stream data between virtual machines on a Xen host without needing any locks. It is largely undocumented. The TLA …
3
Qubes-Lite with KVM and Wayland
I've been running QubesOS as my main desktop since 2015. It provides good security, by running applications in different Xen VMs. However, it is also …
4
Isolating Xwayland in a VM
In my last post, Qubes-lite with KVM and Wayland, I described setting up a Qubes-inspired Linux system that runs applications in virtual machines. A …
5
A Unikernel Firewall for QubesOS
QubesOS provides a desktop operating system made up of multiple virtual machines, running under Xen. To protect against buggy network drivers, the …