about summary refs log tree commit diff
path: root/tvix/boot/default.nix
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2024-03-17T20·03+0200
committerflokli <flokli@flokli.de>2024-03-18T16·10+0000
commit8fb1d0ad4bb4f1fef019d2562ecdd70e409afbe5 (patch)
tree76b1ee2a6133b6dc72310666aaef737bc3d4b56d /tvix/boot/default.nix
parentfca3926a62a7f6dda1b4f98acd036c61fe8211a5 (diff)
docs(tvix/boot): document we could use a smaller kernel here. r/7726
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 <cbrewster@hey.com>
Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/boot/default.nix')
-rw-r--r--tvix/boot/default.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/tvix/boot/default.nix b/tvix/boot/default.nix
index 8c20c35f6b80..db32c9ce7c4d 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;