From 8fb1d0ad4bb4f1fef019d2562ecdd70e409afbe5 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Sun, 17 Mar 2024 22:03:21 +0200 Subject: docs(tvix/boot): document we could use a smaller kernel here. We currently use a pretty big kernel to boot the tvix VMs, with a lot of drivers. It can probably be slimmed down significantly, at least on the hardware driver and filesystem front. Change-Id: I4c7f73fb2dafbf2bcdec8057d2b14a9b0e9b3275 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11187 Tested-by: BuildkiteCI Reviewed-by: Connor Brewster Autosubmit: flokli --- tvix/boot/default.nix | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tvix/boot') diff --git a/tvix/boot/default.nix b/tvix/boot/default.nix index 8c20c35f6b..db32c9ce7c 100644 --- a/tvix/boot/default.nix +++ b/tvix/boot/default.nix @@ -11,6 +11,8 @@ rec { }; # A kernel with virtiofs support baked in + # TODO: make a smaller kernel, we don't need a gazillion filesystems and + # device drivers in it. kernel = pkgs.buildLinux ({ } // { inherit (pkgs.linuxPackages_latest.kernel) src version modDirVersion; autoModules = false; -- cgit 1.4.1