# SPDX-FileCopyrightText: 2020 Adriaan de Groot <groot@kde.org>
# SPDX-License-Identifier: GPL-3.0-or-later
---
$schema: https://json-schema.org/schema#
$id: https://calamares.io/schemas/bootloader
additionalProperties: false
type: object
properties:
    efiBootLoader: { type: string }
    kernelSearchPath:  { type: string }
    kernelName:  { type: string }
    timeout:  { type: string }  # Inserted verbatim
    additionalInitrdFiles:
        type: array
        items:
            type: string
    bootloaderEntryName:  { type: string }
    kernelLine:  { type: string }
    fallbackKernelLine:  { type: string }

    # Programs
    grubInstall:  { type: string }
    grubMkconfig:  { type: string }
    grubCfg:  { type: string }
    grubProbe: { type: string }
    efiBootMgr: { type: string }

    efiBootloaderId:  { type: string }
    installEFIFallback: { type: boolean }

required:
    - efiBootLoader
    - kernelSearchPath
    - kernelName
    - grubInstall
    - grubMkconfig
    - grubCfg
    - grubProbe
    - machineid