# dist-cln-kernels

[grub]
  disable_uuid	true
  use_search	false
  options_srv
  options_ws	quiet splash


[machine]
  kernel		::machine.default_kernel::	# (the latter is defined in specific distro files)
  kernel_update		false
  kernel_pinning	false
