forked from Mirrors/opensbi
316e05f248
Only compiles for now, completely untested. Signed-off-by: Damien Le Moal <damien.lemoal@wdc.com>
34 lines
788 B
Makefile
34 lines
788 B
Makefile
#
|
|
# Copyright (c) 2018 Western Digital Corporation or its affiliates.
|
|
#
|
|
# Authors:
|
|
# Anup Patel <anup.patel@wdc.com>
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
|
|
# Essential defines required by SBI platform
|
|
plat-cppflags-y = -DPLAT_NAME="Kendryte K210"
|
|
plat-cppflags-y+= -DPLAT_HART_COUNT=2
|
|
plat-cppflags-y+= -DPLAT_HART_STACK_SIZE=8192
|
|
plat-cppflags-y+= -DPLAT_TEXT_START=0x80000000
|
|
|
|
# Compiler flags
|
|
plat-cflags-y =-mabi=lp64 -march=rv64imafdc -mcmodel=medany
|
|
plat-asflags-y =-mabi=lp64 -march=rv64imafdc -mcmodel=medany
|
|
plat-ldflags-y =
|
|
|
|
# Common drivers to enable
|
|
PLAT_IRQCHIP_PLIC=y
|
|
PLAT_SYS_CLINT=y
|
|
|
|
# Blobs to build
|
|
FW_TEXT_START=0x80000000
|
|
FW_JUMP=n
|
|
#FW_JUMP_ADDR=0x80200000
|
|
#FW_JUMP_FDT_ADDR=0x82200000
|
|
FW_PAYLOAD=n
|
|
#FW_PAYLOAD_OFFSET=0x200000
|
|
#FW_PAYLOAD_FDT_ADDR=0x82200000
|
|
|