24e45d071e
Pinephone Pro port just nsh Status: booting till GICD / IRQ issue style cleanups start to fix style checks revert offset whitespaces revert a64 bringup file prob last cleanup more cleanups remove dts move changes from a64 hardware specific folders to rk3399 undo common changes (except head.s) revert gitignore missing irq.h and rk3399_serial.c need to finish cleaning them up WIP add source for load address make debug print hex again add board include Pinephone Pro port just nsh Status: booting till GICD / IRQ issue style cleanups start to fix style checks revert offset whitespaces revert a64 bringup file prob last cleanup more cleanups remove dts move changes from a64 hardware specific folders to rk3399 undo common changes (except head.s) revert gitignore missing irq.h and rk3399_serial.c need to finish cleaning them up WIP add source for load address remove ccache, add board memory map remove board reset
70 lines
1.7 KiB
Plaintext
70 lines
1.7 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_ARCH="arm64"
|
|
CONFIG_ARCH_ARM64=y
|
|
CONFIG_ARCH_BOARD="pinephonepro"
|
|
CONFIG_ARCH_BOARD_PINEPHONE_PRO=y
|
|
CONFIG_ARCH_CHIP="rk3399"
|
|
CONFIG_ARCH_CHIP_RK3399=y
|
|
CONFIG_ARCH_EARLY_PRINT=y
|
|
CONFIG_ARCH_INTERRUPTSTACK=4096
|
|
CONFIG_BOARD_LOOPSPERMSEC=116524
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_DEBUG_ASSERTIONS=y
|
|
CONFIG_DEBUG_ERROR=y
|
|
CONFIG_DEBUG_FEATURES=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_INFO=y
|
|
CONFIG_DEBUG_IRQ=y
|
|
CONFIG_DEBUG_IRQ_INFO=y
|
|
CONFIG_DEBUG_SCHED=y
|
|
CONFIG_DEBUG_SCHED_ERROR=y
|
|
CONFIG_DEBUG_SCHED_WARN=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_DEBUG_WARN=y
|
|
CONFIG_DEFAULT_TASK_STACKSIZE=8192
|
|
CONFIG_DEV_ZERO=y
|
|
CONFIG_EXAMPLES_HELLO=y
|
|
CONFIG_EXAMPLES_LEDS=y
|
|
CONFIG_EXPERIMENTAL=y
|
|
CONFIG_FRAME_POINTER=y
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_FS_ROMFS=y
|
|
CONFIG_HAVE_CXX=y
|
|
CONFIG_HAVE_CXXINITIALIZE=y
|
|
CONFIG_IDLETHREAD_STACKSIZE=8192
|
|
CONFIG_INIT_ENTRYPOINT="nsh_main"
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_FILEIOSIZE=512
|
|
CONFIG_NSH_READLINE=y
|
|
CONFIG_NSH_ROMFSETC=y
|
|
CONFIG_PREALLOC_TIMERS=4
|
|
CONFIG_PTHREAD_STACK_MIN=8192
|
|
CONFIG_RAMLOG=y
|
|
CONFIG_RAM_SIZE=134217728
|
|
CONFIG_RAM_START=0x02080000
|
|
CONFIG_RAW_BINARY=y
|
|
CONFIG_READLINE_CMD_HISTORY=y
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_SCHED_BACKTRACE=y
|
|
CONFIG_SCHED_HPWORK=y
|
|
CONFIG_SCHED_HPWORKPRIORITY=192
|
|
CONFIG_SPINLOCK=y
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_MONTH=11
|
|
CONFIG_START_YEAR=2022
|
|
CONFIG_SYMTAB_ORDEREDBYNAME=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_SYSTEM=y
|
|
CONFIG_SYSTEM_TIME64=y
|
|
CONFIG_TESTING_GETPRIME=y
|
|
CONFIG_TESTING_OSTEST=y
|
|
CONFIG_USEC_PER_TICK=1000
|
|
CONFIG_USERLED=y
|