/*
  StarForth — Steady-State Virtual Machine Runtime
  Copyright (c) 2023–2025 Robert A. James. All rights reserved.
  Licensed under the StarForth License, Version 1.0.
 */

/**
 * rpi5_native_boot.h - Raspberry Pi 5 DTB->BootInfo constructor
 * (FABRIC-3.md §IV.3 item 2).
 *
 * `native_rpi5_entry.S`'s `rpi5_native_start` tail-calls
 * `rpi5_native_boot()` with the masked DTB pointer it captured. This
 * function builds the *existing*, unmodified `BootInfo` struct
 * (`include/starkernel/uefi.h`) from the devicetree instead of UEFI
 * protocols, then calls the *existing*, unmodified `kernel_main()` — see
 * this file's own `.c` for exactly what is and is not populated, and why.
 */

#ifndef STARKERNEL_RPI5_NATIVE_BOOT_H
#define STARKERNEL_RPI5_NATIVE_BOOT_H

#include <stdint.h>

void rpi5_native_boot(uint64_t dtb) __attribute__((noreturn));

#endif /* STARKERNEL_RPI5_NATIVE_BOOT_H */