src/kernel/config.cc


1
2
3
4
5
6
7
8
9

#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;