# Kernel install configuration for Debian minimal base images
packages:
  # Kernel installation tools
  - linux-base
  - linux-image-amd64

# Kernel install configuration
kernel-install:
  # Enable kernel installation
  - enable=true
  # Use systemd-boot for UEFI systems
  - bootloader: systemd-boot
  # Kernel install directory
  - install-dir: /boot/ostree
  # Initramfs configuration
  - initramfs: true
  # Kernel command line
  - cmdline: "ro root=LABEL=ROOT ostree=/ostree/boot.1/debian/14/x86_64/minimal/0"