fix(tvix/boot): use shrunk kernel image

The aarch64-linux version of this is too big for cloud-hypervisor to
accept.

The correct place for this is in
`${kernel}/${stdenv.hostPlatform.linux-kernel.target}`, the other output
is only useful for debugging purposes.

This gets cloud-hypervisor to start booting up the kernel. It still
doesn't boot successfully, but it's getting further.

Part of b/407.

Change-Id: I3fbe52597fb1a6f5728a7f375dd35b50e00b3b1a
Co-Authored-By: Alyssa Ross <hi@alyssa.is>
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11905
Tested-by: BuildkiteCI
Reviewed-by: Alyssa Ross <hi@alyssa.is>
Autosubmit: flokli <flokli@flokli.de>
This commit is contained in:
Florian Klink 2024-07-01 09:37:42 +03:00 committed by flokli
parent afbe995aa9
commit 87f38cad61

View file

@ -99,7 +99,7 @@ rec {
--memory mergeable=on,shared=on,size=$CH_MEM_SIZE \ --memory mergeable=on,shared=on,size=$CH_MEM_SIZE \
--console null \ --console null \
--serial tty \ --serial tty \
--kernel ${kernel.dev}/vmlinux \ --kernel ${kernel}/${pkgs.stdenv.hostPlatform.linux-kernel.target} \
--initramfs ${initrd} \ --initramfs ${initrd} \
--cmdline "console=ttyS0 $CH_CMDLINE" \ --cmdline "console=ttyS0 $CH_CMDLINE" \
--fs tag=tvix,socket=$tempdir/tvix.sock,num_queues=''${CH_NUM_CPU},queue_size=512 --fs tag=tvix,socket=$tempdir/tvix.sock,num_queues=''${CH_NUM_CPU},queue_size=512