I thought it might be useful to have a place to collect links that are particularly relevant to Spectrum. This serves two purposes: to provide further external reading for people learning about Spectrum from the website; and to make it easy for us to find links we refer to often. At some point I might add author names, etc. to these links, and make them a bit more like proper citations, but for now I wanted to get an initial version of this out there rather than bikeshedding citation formats. --- bibliography.html | 111 ++++++++++++++++++++++++++++++++++++++++++++++ index.html | 1 + 2 files changed, 112 insertions(+) create mode 100644 bibliography.html diff --git a/bibliography.html b/bibliography.html new file mode 100644 index 0000000..e90f0be --- /dev/null +++ b/bibliography.html @@ -0,0 +1,111 @@ +<!doctype html> +<html lang="en"> + +<head> + +<meta charset="utf-8"> +<meta name="viewport" content="width=device-width,initial-scale=1"> + +<link rel="stylesheet" href="style.css"> + +<title>Spectrum Bibliography</title> + +<body> + +<nav> + <a href="..">Spectrum</a> +</nav> + +<h1>Bibliography</h1> + +<ul> + + <li><cite><a href="https://flatkill.org/">Flatpak — a security + nightmare</a></cite> + + <li><cite><a href="https://blog.invisiblethings.org/papers/2015/x86_harmful.pdf">Intel + x86 Considered Harmful</a></cite> + + <li><cite><a href="https://www.qubes-os.org/">Qubes OS</a></cite> + + <li><cite><a href="https://doi.org/10.1145/3132747.3132763">My VM is + Lighter (and Safer) than your Container</a></cite> + + <li><cite><a href="https://doi.org/10.1145/3342195.3387526">A Linux + in Unikernel Clothing</a></cite> + + <li><cite><a href="https://www.ozlabs.org/~rusty/virtio-spec/virtio-paper.pdf">virtio: + Towards a De-Facto Standard For Virtual I/O Devices</a></cite> + + <li><cite><a href="https://docs.oasis-open.org/virtio/virtio/v1.1/virtio-v1.1.html">Virtual + I/O Device (VIRTIO) Version 1.1</a></cite> + + <li><cite><a href="https://lwn.net/Articles/474088/">Safe device + assignment with VFIO</a></cite> + + <li><cite><a href="https://lists.ozlabs.org/pipermail/lguest/2008-March/001064.html">Inter-guest + virtio I/O example with lguest</a></cite> + + <li><cite><a href="https://lwn.net/Articles/610174/">Supporting + filesystems in persistent memory</a></cite> + + <li><cite><a href="https://lwn.net/Articles/788333/">A filesystem + for virtualization</a></cite> + + <li><cite><a href="https://www.phoronix.com/scan.php?page=news_item&px=VirtIO-DRM-Window-Server">VirtIO + DRM Window Server Support: Letting Guest VMs Interface With Host's + Compositor</a></cite> + + <li><cite><a href="https://www.qemu.org/docs/master/interop/vhost-user.html">Vhost-user + Protocol</a></cite> + + <li><cite><a href="https://wiki.qemu.org/Features/VirtioVhostUser">Features/VirtioVhostUser + — QEMU</a></cite> + + <li><cite><a href="https://chromium.googlesource.com/chromiumos/third_party/kernel/+/refs/heads/chromeos-5.4/drivers/virtio/virtio_wl.c">Wayland + Virtio Driver</a></cite> + + <li><cite><a href="https://lwn.net/Articles/694291/">An initial + release of Flatpak portals for GNOME</a></cite> + + <li><cite><a href="https://users.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf">Reflections + on Trusting Trust</a></cite> + + <li><cite><a href="https://dwheeler.com/trusting-trust/dissertation/wheeler-trusting-trust-ddc.pdf">Fully + Countering Trusting Trust through Diverse Double-Compiling</a></cite> + + <li><cite><a href="https://reproducible-builds.org/docs/buy-in/">Reproducible + Builds — Buy-in</a></cite> + + <li><cite><a href="https://edolstra.github.io/pubs/phd-thesis.pdf">The + Purely Functional Software Deployment Model</a></cite> + + <li><cite><a href="https://nixos.org/features.html">NixOS — + Features</a></cite> + + <li><cite><a href="https://hal.inria.fr/hal-00824004/document">Functional + Package Management with Guix</a></cite> + + <li><cite><a href="https://chromium.googlesource.com/chromiumos/platform/crosvm">Chrome + OS Virtual Machine Monitor</a></cite> + + <li><cite><a href="https://prilik.com/blog/2019/05/16/crosvm-paravirt.html">Paravirtualized + Devices in crosvm — a Performance Panacea for Modern Virtual + Machines</a></cite> + + <li><cite><a href="https://assets.amazon.science/96/c6/302e527240a3b1f86c86c3e8fc3d/firecracker-lightweight-virtualization-for-serverless-applications.pdf">Firecracker: + Lightweight Virtualization for Serverless Applications</a></cite> + + <li><cite><a href="https://github.com/cloud-hypervisor/cloud-hypervisor">cloud-hypervisor</a></cite> + +</ul> + +<p> +<small>Permission is granted to copy, distribute and/or modify this +document under either the terms of the +<a href="https://creativecommons.org/licenses/by-sa/4.0/">Creative +Commons Attribution-ShareAlike 4.0 International License</a>, or the +<a href="https://www.gnu.org/licenses/fdl-1.3.html">GNU Free +Documentation License, Version 1.3</a> or any later version published +by the Free Software Foundation; with no Invariant Sections, no +Front-Cover Texts, and no Back-Cover Texts.</small> diff --git a/index.html b/index.html index e98443b..08974b1 100644 --- a/index.html +++ b/index.html @@ -52,6 +52,7 @@ Commission. <ul> <li><a href="motivation.html">Motivation for Spectrum</a> <li><a href="design.html">Design</a> + <li><a href="bibliography.html">Bibliography</a> </ul> <h2>Development progress</h2> -- 2.27.0