keelOS display VM image (dvm.img). Everything in it is built from unmodified upstream sources:

Linux 7.2.10 (GPL-2.0, see linux-COPYING)
  https://cdn.kernel.org/pub/linux/kernel/v7.x/linux-7.2.10.tar.xz
  sha256 2feaa70453e91f541be6a5c9078d8168e081af45a3d9718054850538cff2ebf3
linux-firmware 20260916 (Intel i915/xe DMC, GuC and HuC firmware, redistributable, see linux-firmware-LICENSE.i915
and linux-firmware-WHENCE-i915), files built into the kernel image: i915/skl_dmc_ver1_27.bin i915/kbl_dmc_ver1_04.bin i915/bxt_dmc_ver1_07.bin i915/glk_dmc_ver1_04.bin i915/icl_dmc_ver1_09.bin i915/adls_dmc_ver2_01.bin i915/adlp_dmc.bin i915/tgl_guc_70.bin i915/adlp_guc_70.bin i915/tgl_huc.bin
  https://cdn.kernel.org/pub/linux/kernel/firmware/linux-firmware-20260916.tar.xz
  sha256 f80dcb757a623deda62200c08e0e1a88c76fb6b54964f31b35fa74da1c90ccc5
init: keelOS's own program (tools/dvm/init.c), built with nolibc from the same kernel tree
(tools/include/nolibc, LGPL-2.1 OR MIT, used under MIT: nolibc-MIT).

The kernel configuration is dvm.config; the build script (build.sh), the configuration fragment
(config) and init.c are published with keelOS in tools/dvm/ (init.c includes
root/bhyve/keel_mirror.h, published with them) and rebuild this image exactly.
To get them, ask the keelOS project (https://keelos.dev).

The video page's player (/keelplay on the ESP, docs/110 §11):
- keelplay: tools/dvm/keelplay/ of keelOS, published with the files above.
- FFmpeg 7.1.2 (LGPL-2.1-or-later), unmodified, from https://ffmpeg.org/releases/ffmpeg-7.1.2.tar.xz
  (sha256 089bc60fb59d6aecc5d994ff530fd0dcb3ee39aa55867849a2bbc4e555f9c304), built as shared libraries (libavformat, libavcodec, libavutil; replaceable)
  with: ./configure --prefix=./ff --disable-everything --disable-programs --disable-doc --enable-shared --disable-static --disable-network --disable-x86asm --disable-autodetect --disable-debug --enable-vaapi --enable-libdrm --enable-protocol=file --pkg-config=./pkg-config --enable-demuxer='mov,matroska' --enable-parser='h264,hevc,vp9,av1' --enable-decoder='h264,hevc,vp9,av1' --enable-hwaccel='h264_vaapi,hevc_vaapi,vp9_vaapi,av1_vaapi' --enable-bsf=vp9_superframe_split --extra-cflags=-I./sysroot/usr/include --extra-ldflags=-L./sysroot/usr/lib/x86_64-linux-gnu
- From Debian 13 (trixie), unmodified binaries (https://snapshot.debian.org/archive/debian/20261020T000000Z/pool/main): intel-media-va-driver-non-free_25.2.3+ds1-1_amd64.deb libc6_2.41-12+deb13u4_amd64.deb libdrm2_2.4.124-2_amd64.deb libdrm-dev_2.4.124-2_amd64.deb gcc-14-base_14.2.0-19_amd64.deb libgcc-s1_14.2.0-19_amd64.deb libigdgmm12_22.7.2+ds1-1_amd64.deb libstdc++6_14.2.0-19_amd64.deb libva2_2.22.0-3_amd64.deb libva-dev_2.22.0-3_amd64.deb libva-drm2_2.22.0-3_amd64.deb 
  Their sources: https://snapshot.debian.org/ (the same versions), copyright files in
  /keelplay/doc. Intel's media driver is Debian's non-free build (Intel's prebuilt GPU kernels,
  MIT licence).
