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