blob: cb545a0b7d693a78f7fa07b73f6c752f96b5b8d6 [file] [log] [blame]
// Copyright 2023 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT
#include <lib/boot-options/boot-options.h>
#include <ktl/move.h>
#include <phys/stdio.h>
#include <phys/symbolize.h>
#include "physboot.h"
#include "physload.h"
#include <ktl/enforce.h>
PhysBootTimes gBootTimes;
extern "C" void PhysLoadModuleMain(UartDriver& uart, PhysBootTimes boot_times,
KernelStorage kernel_storage) {
gBootTimes = boot_times;
gSymbolize->set_name("physboot");
debugf("%s: Loading Zircon...\n", gSymbolize->name());
// Now we're ready for the main physboot logic.
BootZircon(uart, ktl::move(kernel_storage));
}