diff options
| -rw-r--r-- | tvix/boot/default.nix | 2 |
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 |