Thomas Leonard's blog

RSS

Blog
Archives
About Me

Category: Wayland

2021

Qubes-lite with KVM and Wayland

Mar 07 2021

posted in ocaml, qubes, security, wayland

Open Source software developer, with interests in distributed systems and security. [ more ]

Recent Posts

Qubes-lite with KVM and Wayland
CI/CD pipelines: Monad, Arrow or Dart?
Using TLA+ to understand Xen vchan
A Unikernel Firewall for QubesOS
CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB

Copyright © 2021 - Thomas Leonard - Powered by Octopress