/*
 * Copyright (c) 2026, Apollo Telephone Laboratories.
 * Provided under the BSD-3 clause.
 */

#include <efi.h>
#include <efilib.h>
#include <sboot/sboot.h>
#include <sboot/config.h>
#include <sboot/fwi.h>

EFI_STATUS
EFIAPI
efi_main(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
{
    BOOT_ENTRY Entry;

    InitializeLib(ImageHandle, SystemTable);

    /* Disable the watchdog timer */
    FwiSetWatchdogTimer(
        0,
        0,
        0,
        NULL
    );

    Print(
        L"SBOOT %s - %d boot entrie(s)\n",
        SBOOT_VERSION,
        NELEM(ConfigBootEntries) - 1
    );

    SBootMenu(&Entry);
    for (;;);
}