## Copyright (C) 2025 - 2025 ENCRYPTED SUPPORT LLC <adrelanos@whonix.org>
## See the file COPYING for copying conditions.

## Do not edit this file!
## Please create and add modifications to the following file instead:
## /etc/default/grub.d/50_user.cfg
##
## User documentation:
## https://www.kicksecure.com/wiki/grub
##
## Developer documentation:
## https://www.kicksecure.com/wiki/Dev/boot

GRUB_CMDLINE_LINUX=""
GRUB_TERMINAL=""
GRUB_TERMINAL_OUTPUT=""
GRUB_SERIAL_COMMAND=""
GRUB_CMDLINE_LINUX_DEFAULT="quiet"