b128ce334f
OpenSBI may be compiled as an external library. OpenSBI commit d249d65
(Dec. 11, 2021) needs to be reverted as it causes memcpy / memcmp to
end up in the wrong section. That issue has yet no known workaround.
OpenSBI may be lauched from the hart0 (e51). It will start the U-Boot
and eventually the Linux kernel on harts 1-4.
OpenSBI, once initialized properly, will trap and handle illegal
instructions (for example, CSR time) and unaligned address accesses
among other things.
Due to size size limitations for the mpfs eNVM area where the NuttX
is located, we actually set up the OpenSBI on its own section which
is in the bottom of the DDR memory. Special care must be taken so that
the kernel doesn't override the OpenSBI. For example, the Linux device
tree may reserve some space from the beginning:
opensbi_reserved: opensbi@80000000 {
reg = <0x80000000 0x200000>;
label = "opensbi-reserved";
};
The resulting nuttx.bin file is very large, but objcopy is used to
create the final binary images for the regions (eNVM and DDR) using
the nuttx elf file.
Co-authored-by: Petro Karashchenko <petro.karashchenko@gmail.com>
Signed-off-by: Eero Nurkkala <eero.nurkkala@offcode.fi>
119 lines
3.0 KiB
Plaintext
119 lines
3.0 KiB
Plaintext
#
|
|
# This file is autogenerated: PLEASE DO NOT EDIT IT.
|
|
#
|
|
# You can use "make menuconfig" to make any modifications to the installed .config file.
|
|
# You can then do "make savedefconfig" to generate a new defconfig file that includes your
|
|
# modifications.
|
|
#
|
|
# CONFIG_DISABLE_OS_API is not set
|
|
# CONFIG_NSH_DISABLE_MW is not set
|
|
CONFIG_ARCH="risc-v"
|
|
CONFIG_ARCH_BOARD="icicle"
|
|
CONFIG_ARCH_BOARD_ICICLE_MPFS=y
|
|
CONFIG_ARCH_CHIP="mpfs"
|
|
CONFIG_ARCH_CHIP_MPFS=y
|
|
CONFIG_ARCH_INTERRUPTSTACK=2048
|
|
CONFIG_ARCH_RISCV=y
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_BOARDCTL_MKRD=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=54000
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_DEBUG_ASSERTIONS=y
|
|
CONFIG_DEBUG_ERROR=y
|
|
CONFIG_DEBUG_FEATURES=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_DEV_ZERO=y
|
|
CONFIG_EXPERIMENTAL=y
|
|
CONFIG_FAT_LCNAMES=y
|
|
CONFIG_FAT_LFN=y
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_FS_ROMFS=y
|
|
CONFIG_IDLETHREAD_STACKSIZE=2048
|
|
CONFIG_INTELHEX_BINARY=y
|
|
CONFIG_LIBC_HOSTNAME="icicle"
|
|
CONFIG_LIBC_PERROR_STDOUT=y
|
|
CONFIG_LIBC_STRERROR=y
|
|
CONFIG_MEMSET_64BIT=y
|
|
CONFIG_MEMSET_OPTSPEED=y
|
|
CONFIG_MMCSD=y
|
|
CONFIG_MMCSD_SDIO=y
|
|
CONFIG_MPFS_BOOTLOADER=y
|
|
CONFIG_MPFS_DDR_INIT=y
|
|
CONFIG_MPFS_EMMCSD=y
|
|
CONFIG_MPFS_OPENSBI=y
|
|
CONFIG_MPFS_UART0=y
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_DISABLE_BASENAME=y
|
|
CONFIG_NSH_DISABLE_CAT=y
|
|
CONFIG_NSH_DISABLE_CD=y
|
|
CONFIG_NSH_DISABLE_CMP=y
|
|
CONFIG_NSH_DISABLE_CP=y
|
|
CONFIG_NSH_DISABLE_DD=y
|
|
CONFIG_NSH_DISABLE_DF=y
|
|
CONFIG_NSH_DISABLE_DIRNAME=y
|
|
CONFIG_NSH_DISABLE_ECHO=y
|
|
CONFIG_NSH_DISABLE_ENV=y
|
|
CONFIG_NSH_DISABLE_EXEC=y
|
|
CONFIG_NSH_DISABLE_EXIT=y
|
|
CONFIG_NSH_DISABLE_EXPORT=y
|
|
CONFIG_NSH_DISABLE_FREE=y
|
|
CONFIG_NSH_DISABLE_GET=y
|
|
CONFIG_NSH_DISABLE_HELP=y
|
|
CONFIG_NSH_DISABLE_HEXDUMP=y
|
|
CONFIG_NSH_DISABLE_IFCONFIG=y
|
|
CONFIG_NSH_DISABLE_IFUPDOWN=y
|
|
CONFIG_NSH_DISABLE_KILL=y
|
|
CONFIG_NSH_DISABLE_LOSETUP=y
|
|
CONFIG_NSH_DISABLE_LS=y
|
|
CONFIG_NSH_DISABLE_MKDIR=y
|
|
CONFIG_NSH_DISABLE_MKRD=y
|
|
CONFIG_NSH_DISABLE_MOUNT=y
|
|
CONFIG_NSH_DISABLE_MV=y
|
|
CONFIG_NSH_DISABLE_PRINTF=y
|
|
CONFIG_NSH_DISABLE_PS=y
|
|
CONFIG_NSH_DISABLE_PUT=y
|
|
CONFIG_NSH_DISABLE_PWD=y
|
|
CONFIG_NSH_DISABLE_RM=y
|
|
CONFIG_NSH_DISABLE_RMDIR=y
|
|
CONFIG_NSH_DISABLE_SET=y
|
|
CONFIG_NSH_DISABLE_SLEEP=y
|
|
CONFIG_NSH_DISABLE_SOURCE=y
|
|
CONFIG_NSH_DISABLE_TELNETD=y
|
|
CONFIG_NSH_DISABLE_TEST=y
|
|
CONFIG_NSH_DISABLE_TIME=y
|
|
CONFIG_NSH_DISABLE_TRUNCATE=y
|
|
CONFIG_NSH_DISABLE_UMOUNT=y
|
|
CONFIG_NSH_DISABLE_UNAME=y
|
|
CONFIG_NSH_DISABLE_UNSET=y
|
|
CONFIG_NSH_DISABLE_USLEEP=y
|
|
CONFIG_NSH_DISABLE_WGET=y
|
|
CONFIG_NSH_DISABLE_XD=y
|
|
CONFIG_NSH_LINELEN=160
|
|
CONFIG_NSH_STRERROR=y
|
|
CONFIG_OPENSBI=y
|
|
CONFIG_PREALLOC_TIMERS=4
|
|
CONFIG_RAM_SIZE=1048576
|
|
CONFIG_RAM_START=0x80000000
|
|
CONFIG_RAW_BINARY=y
|
|
CONFIG_READLINE_CMD_HISTORY=y
|
|
CONFIG_READLINE_TABCOMPLETION=y
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_SCHED_HPWORK=y
|
|
CONFIG_SCHED_LPWORK=y
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SERIAL_NPOLLWAITERS=2
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_MONTH=4
|
|
CONFIG_START_YEAR=2021
|
|
CONFIG_SYSLOG_COLOR_OUTPUT=y
|
|
CONFIG_SYSTEM_CLE_CMD_HISTORY=y
|
|
CONFIG_SYSTEM_COLOR_CLE=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_TIME64=y
|
|
CONFIG_TASK_NAME_SIZE=20
|
|
CONFIG_UART0_SERIAL_CONSOLE=y
|
|
CONFIG_USERMAIN_STACKSIZE=3072
|
|
CONFIG_USER_ENTRYPOINT="nsh_main"
|