Open
Description
Reference :
Sifive_fu board DDR physical address is (0x8000_0000-0x1F_7FFF_FFFF)
PLIC address is 0x0C00_0000,
VADDR_KERNEL_INIT=0x0000_003F_C000_0000
plic_common.regw = (void *)((u64)((1L << 39) - 1024 * 1024 * 1024 + 0x0c000000)| (u64)0xffffff8000000000);
static void *dtb_relocate(void *addr)
{
return (void *)((u64)((1L << 39) - (u64)2 * 1024 * 1024 * 1024 + addr - 0x80000000L) | (u64)0xffffff8000000000);
}
Now I am using below configuration RISCV board :
DDR physical address is (0x4000_0000-0x7FFF_FFFF)
PLIC address is 0x0100_0000
Please suggest :
VADDR_KERNEL_INIT=?
plic_common.regw =?
static void *dtb_relocate(void *addr)
{
return (void *)(?)
}