rsource "driver/Kconfig"

config BOARD_QEMU_VIRT_RV64

select ARCH_RISCV64

select ARCH_REMAP_KERNEL

default y

config ENABLE_FPU

bool "Enable FPU"

select ARCH_RISCV_FPU

config ENABLE_VECTOR

bool "Using RISC-V Vector Extension"

select ARCH_RISCV_VECTOR

default n

if ENABLE_VECTOR

choice

prompt "Vector Registers Length in Bits"

default ARCH_VECTOR_VLEN_128

config ARCH_VECTOR_VLEN_128

bool "128"

config ARCH_VECTOR_VLEN_256

bool "256"

endchoice

endif

config RT_USING_USERSPACE_32BIT_LIMIT

bool "Enable userspace 32bit limit"

default n

config RT_USING_VIRTIO_MMIO_ALIGN

bool "Open packed attribution, this may caused an error on virtio"

default n

config __STACKSIZE__

int "stack size for interrupt"

default 4096

rtconfig.CPU='virt64'

rtconfig.ARCH='risc-v'

stack_size = 4096

if GetDepend('RT_USING_SMART'):

# use smart link.lds

env['LINKFLAGS'] = env['LINKFLAGS'].replace('link.lds', 'link_smart.lds')

stack_lds = open('link_stacksize.lds', 'w')

if GetDepend('__STACKSIZE__'): stack_size = GetDepend('__STACKSIZE__')

stack_lds.write('__STACKSIZE__ = %d;\n' % stack_size)

stack_lds.close()

#include <rthw.h>

#include <rtthread.h>

#include <rtdevice.h>

#include "board.h"

#include "mm_aspace.h"

#include "tick.h"

#include "drv_uart.h"

#include "encoding.h"

#include "stack.h"

#include "sbi.h"

#include "riscv.h"

#include "plic.h"

#include "stack.h"

#ifdef RT_USING_SMART

#include "riscv_mmu.h"

#include "mmu.h"

#include "page.h"

#include "lwp_arch.h"

rt_region_t init_page_region = {(rt_size_t)RT_HW_PAGE_START, (rt_size_t)RT_HW_PAGE_END};

extern size_t MMUTable[];

struct mem_desc platform_mem_desc[] = {

{KERNEL_VADDR_START, (rt_size_t)RT_HW_PAGE_END - 1, (rt_size_t)ARCH_MAP_FAILED, NORMAL_MEM},

};

#define NUM_MEM_DESC (sizeof(platform_mem_desc) / sizeof(platform_mem_desc[0]))

void primary_cpu_entry(void)

{

/* disable global interrupt */

rt_hw_interrupt_disable();

entry();

}

#define IOREMAP_SIZE (1ul << 30)

#ifndef ARCH_REMAP_KERNEL

#define IOREMAP_VEND USER_VADDR_START

#define IOREMAP_VEND 0ul

#endif /* ARCH_REMAP_KERNEL */

#ifdef RT_USING_SMART

/* init data structure */

rt_hw_mmu_map_init(&rt_kernel_space, (void *)(IOREMAP_VEND - IOREMAP_SIZE), IOREMAP_SIZE, (rt_size_t *)MMUTable, PV_OFFSET);

/* init page allocator */

rt_page_init(init_page_region);

/* setup region, and enable MMU */

rt_hw_mmu_setup(&rt_kernel_space, platform_mem_desc, NUM_MEM_DESC);

#ifdef RT_USING_HEAP

/* initialize memory system */

rt_system_heap_init(RT_HW_HEAP_BEGIN, RT_HW_HEAP_END);

plic_init();

rt_hw_interrupt_init();

rt_hw_uart_init();

#ifdef RT_USING_CONSOLE

/* set console device */

rt_console_set_device(RT_CONSOLE_DEVICE_NAME);

#endif /* RT_USING_CONSOLE */

rt_hw_tick_init();

#ifdef RT_USING_COMPONENTS_INIT

rt_components_board_init();

#ifdef RT_USING_HEAP

rt_kprintf("heap: [0x%08x - 0x%08x]\n", (rt_ubase_t)RT_HW_HEAP_BEGIN, (rt_ubase_t)RT_HW_HEAP_END);

#endif /* RT_USING_HEAP */

void rt_hw_cpu_reset(void)

{

sbi_shutdown();

while (1)

;

}

MSH_CMD_EXPORT_ALIAS(rt_hw_cpu_reset, reboot, reset machine);

extern unsigned int __bss_start;

extern unsigned int __bss_end;

#ifndef RT_USING_SMART

#define KERNEL_VADDR_START 0x0

#define VIRT64_SBI_MEMSZ (0x200000)

#define RT_HW_HEAP_BEGIN ((void *)&__bss_end)

#define RT_HW_HEAP_END ((void *)(RT_HW_HEAP_BEGIN + 64 * 1024 * 1024))

#define RT_HW_PAGE_START RT_HW_HEAP_END

#define RT_HW_PAGE_END ((void *)(KERNEL_VADDR_START + (256 * 1024 * 1024 - VIRT64_SBI_MEMSZ)))

void rt_init_user_mem(struct rt_thread *thread, const char *name,

unsigned long *entry);