Skip to content

Virtual address issue  #576

Open
Open
@KaduruSreedhar

Description

@KaduruSreedhar

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 *)(?)
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions