// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2026 Richard Qin
 */

#pragma once
#include "common/types.h"
#include "kernel/fdt.h"

// Legacy compat — these are still referenced in some places
extern uint64 g_uart_base;
extern uint64 g_dtb_addr;