about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--tvix/boot/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/tvix/boot/default.nix b/tvix/boot/default.nix
index 85995ffbf2c5..7be05c815cdc 100644
--- a/tvix/boot/default.nix
+++ b/tvix/boot/default.nix
@@ -99,7 +99,7 @@ rec {
      --memory mergeable=on,shared=on,size=$CH_MEM_SIZE \
      --console null \
      --serial tty \
-     --kernel ${kernel.dev}/vmlinux \
+     --kernel ${kernel}/${pkgs.stdenv.hostPlatform.linux-kernel.target} \
      --initramfs ${initrd} \
      --cmdline "console=ttyS0 $CH_CMDLINE" \
      --fs tag=tvix,socket=$tempdir/tvix.sock,num_queues=''${CH_NUM_CPU},queue_size=512