diff options
Diffstat (limited to 'tvix')
| -rw-r--r-- | tvix/boot/default.nix | 2 |
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; |