src/kernel/config.cc


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

// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2026 Richard QIn
 */
#include "common/types.h"

uint64 g_uart_base = 0;
// uint64 g_clint_base = 0;
uint64 g_plic_base = 0;
uint64 g_ram_start = 0;
uint64 g_ram_size = 0;

extern "C" uint64 g_dtb_addr;