include/kernel/config.h


1
2
3
4
5
6
7
8
9
10
11
12

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

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

extern uint64 g_uart_base;
extern uint64 g_clint_base;
extern uint64 g_plic_base;
extern uint64 g_dtb_addr;