mirror of
https://github.com/PX4/PX4-Autopilot.git
synced 2026-07-24 15:27:41 +08:00
05be273a35
* boards: enable CONFIG_FS_LARGEFILE for NuttX boards with MMC/SD
Without large file support, fsblkcnt_t/off_t are 32-bit and statfs
consumers (procfs /fs/usage, df) compute the volume size as
f_bsize * f_blocks in 32 bits, which wraps at 4GB. Boards with an
SD card or eMMC larger than 4GB report the wrong capacity, e.g. a
32GB SD card on FMU-V6X:
nsh> ls -l /dev/mmcsd0
brw-rw-rw-1850212352 /dev/mmcsd0 (= 31914983424 mod 2^32)
nsh> df -h
vfat 1749M 240K 1749M /fs/microsd
With CONFIG_FS_LARGEFILE=y the same card reports the full 29G.
This enables the option on the 77 boards that build the MMC/SD block
driver (CONFIG_MMCSD=y, SDIO or SPI). Boards without removable storage
and constrained-flash targets (CONFIG_BOARD_CONSTRAINED_FLASH=y) are
left unchanged.
Note: on the px4_firmware_nuttx-10.3.0+ branch the 64-bit file types
are additionally gated on CONFIG_HAVE_LONG_LONG, which is only defined
via nuttx/compiler.h include order, making the option unreliable. That
gating is fixed by the companion NuttX backport PR
(PX4/NuttX, branch backport-fs-largefile, upstream commit 92b2f1bd3d3).
Tested on a custom STM32H743 board with 8GB eMMC and on FMU-V6X with a
32GB SD card.
* fix(boards): enable CONFIG_FS_LARGEFILE for MMC/SD variant configs
The test/console/stackcheck/socketcan/sysview/cyphal/debug/cryptotest
variant configs of boards covered by the previous commit were missed,
leaving them with 32-bit off_t. fmu-v5 protected is intentionally
excluded: protected-mode syscall proxies keep 32-bit widths.
Signed-off-by: Jacob Dahl <dahl.jakejacob@gmail.com>
* chore(nuttx): bump submodule for FS_LARGEFILE backport
Picks up the backport of upstream NuttX 92b2f1bd3d3, which gates the
64-bit file types on CONFIG_FS_LARGEFILE alone instead of the
include-order-dependent CONFIG_HAVE_LONG_LONG.
Signed-off-by: Jacob Dahl <dahl.jakejacob@gmail.com>
---------
Signed-off-by: Jacob Dahl <dahl.jakejacob@gmail.com>
Co-authored-by: Jacob Dahl <dahl.jakejacob@gmail.com>
221 lines
6.0 KiB
Plaintext
221 lines
6.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_ESP32_SPI3_DMA is not set
|
|
# CONFIG_ESP32_SPI_SWCS is not set
|
|
# CONFIG_ESP32_WIFI_RX_AMPDU is not set
|
|
# CONFIG_ESP32_WIFI_TX_AMPDU is not set
|
|
# CONFIG_MMCSD_HAVE_CARDDETECT is not set
|
|
# CONFIG_MMCSD_HAVE_WRITEPROTECT is not set
|
|
# CONFIG_MMCSD_MMCSUPPORT is not set
|
|
# CONFIG_NSH_DISABLE_DATE is not set
|
|
# CONFIG_SPI_CALLBACK is not set
|
|
CONFIG_ALLOW_BSD_COMPONENTS=y
|
|
CONFIG_ARCH="xtensa"
|
|
CONFIG_ARCH_BOARD_COMMON=y
|
|
CONFIG_ARCH_BOARD_CUSTOM=y
|
|
CONFIG_ARCH_BOARD_CUSTOM_DIR="../../../../boards/espressif/esp32/nuttx-config"
|
|
CONFIG_ARCH_BOARD_CUSTOM_DIR_RELPATH=y
|
|
CONFIG_ARCH_BOARD_CUSTOM_NAME=""
|
|
CONFIG_ARCH_CHIP="esp32"
|
|
CONFIG_ARCH_CHIP_ESP32=y
|
|
CONFIG_ARCH_CHIP_ESP32WROOM32=y
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_ARCH_XTENSA=y
|
|
CONFIG_BOARDCTL_MKRD=y
|
|
CONFIG_BOARDCTL_RESET=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=16717
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_DEBUG_TCBINFO=y
|
|
CONFIG_DEV_FIFO_SIZE=0
|
|
CONFIG_DEV_PIPE_MAXSIZE=1024
|
|
CONFIG_DEV_PIPE_SIZE=70
|
|
CONFIG_DEV_URANDOM=y
|
|
CONFIG_DRIVERS_IEEE80211=y
|
|
CONFIG_DRIVERS_WIRELESS=y
|
|
CONFIG_ELF=y
|
|
CONFIG_ESP32_FLASH_FREQ_80M=y
|
|
CONFIG_ESP32_FLASH_MODE_QIO=y
|
|
CONFIG_ESP32_I2C0=y
|
|
CONFIG_ESP32_I2CTIMEOMS=10
|
|
CONFIG_ESP32_LEDC=y
|
|
CONFIG_ESP32_LEDC_CHANNEL1_PIN=13
|
|
CONFIG_ESP32_LEDC_CHANNEL2_PIN=16
|
|
CONFIG_ESP32_LEDC_CHANNEL3_PIN=17
|
|
CONFIG_ESP32_LEDC_TIM0=y
|
|
CONFIG_ESP32_LEDC_TIM0_CHANNELS=4
|
|
CONFIG_ESP32_SPI3=y
|
|
CONFIG_ESP32_SPIFLASH=y
|
|
CONFIG_ESP32_SPIFLASH_SPIFFS=y
|
|
CONFIG_ESP32_UART0=y
|
|
CONFIG_ESP32_UART1=y
|
|
CONFIG_ESP32_UART1_RXPIN=14
|
|
CONFIG_ESP32_UART1_TXPIN=12
|
|
CONFIG_ESP32_WIFI=y
|
|
CONFIG_ESP32_WIFI_DYNAMIC_RXBUF_NUM=16
|
|
CONFIG_ESP32_WIFI_DYNAMIC_TXBUF_NUM=16
|
|
CONFIG_ESP32_WIFI_SAVE_PARAM=y
|
|
CONFIG_ESP32_WIFI_STATION_SOFTAP_COEXISTENCE=y
|
|
CONFIG_EXAMPLES_CALIB_UDELAY=y
|
|
CONFIG_EXAMPLES_DHCPD=y
|
|
CONFIG_FAT_DMAMEMORY=y
|
|
CONFIG_FAT_LCNAMES=y
|
|
CONFIG_FAT_LFN=y
|
|
CONFIG_FAT_LFN_ALIAS_HASH=y
|
|
CONFIG_FAT_LFN_UTF8=y
|
|
CONFIG_FSUTILS_IPCFG=y
|
|
CONFIG_FS_BINFS=y
|
|
CONFIG_FS_CROMFS=y
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_FATTIME=y
|
|
CONFIG_FS_LARGEFILE=y
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_FS_PROCFS_REGISTER=y
|
|
CONFIG_FS_ROMFS=y
|
|
CONFIG_GRAN=y
|
|
CONFIG_GRAN_INTR=y
|
|
CONFIG_HAVE_CXX=y
|
|
CONFIG_HAVE_CXXINITIALIZE=y
|
|
CONFIG_I2C=y
|
|
CONFIG_IDLETHREAD_STACKSIZE=2048
|
|
CONFIG_IEEE80211_BROADCOM_DEFAULT_COUNTRY="27"
|
|
CONFIG_IEEE80211_BROADCOM_SCHED_PRIORITY=50
|
|
CONFIG_INIT_ENTRYPOINT="nsh_main"
|
|
CONFIG_INIT_STACKSIZE=6000
|
|
CONFIG_INTELHEX_BINARY=y
|
|
CONFIG_IOB_THROTTLE=0
|
|
CONFIG_IPCFG_BINARY=y
|
|
CONFIG_IPCFG_CHARDEV=y
|
|
CONFIG_IPCFG_PATH="/fs/mtd_net"
|
|
CONFIG_LIBC_MAX_EXITFUNS=1
|
|
CONFIG_MMCSD=y
|
|
CONFIG_MM_REGIONS=3
|
|
CONFIG_MTD_RAMTRON=y
|
|
CONFIG_NAME_MAX=48
|
|
CONFIG_NETDB_DNSCLIENT=y
|
|
CONFIG_NETDEVICES=y
|
|
CONFIG_NETDEV_LATEINIT=y
|
|
CONFIG_NETDEV_PHY_IOCTL=y
|
|
CONFIG_NETDEV_WIRELESS_IOCTL=y
|
|
CONFIG_NETDOWN_NOTIFIER=y
|
|
CONFIG_NETINIT_DNS=y
|
|
CONFIG_NETINIT_DNSIPADDR=0xA290AFE
|
|
CONFIG_NETINIT_DRIPADDR=0XA290AFE
|
|
CONFIG_NETINIT_IPADDR=0xC0A80001
|
|
CONFIG_NETINIT_MONITOR=y
|
|
CONFIG_NETINIT_THREAD=y
|
|
CONFIG_NETINIT_THREAD_PRIORITY=49
|
|
CONFIG_NETINIT_WAPI_ALG=0
|
|
CONFIG_NETINIT_WAPI_AUTHWPA=0x00000001
|
|
CONFIG_NETINIT_WAPI_CIPHERMODE=0x00000001
|
|
CONFIG_NETINIT_WAPI_PASSPHRASE="px4-esp32"
|
|
CONFIG_NETINIT_WAPI_SSID="px4-esp32"
|
|
CONFIG_NETINIT_WAPI_STAMODE=3
|
|
CONFIG_NETUTILS_DHCPC_BOOTP_FLAGS=0x0000
|
|
CONFIG_NETUTILS_DHCPD=y
|
|
CONFIG_NETUTILS_DHCPD_DNSIP=0xc0a80001
|
|
CONFIG_NETUTILS_DHCPD_MAXLEASES=2
|
|
CONFIG_NETUTILS_DHCPD_ROUTERIP=0xc0a80001
|
|
CONFIG_NETUTILS_DHCPD_STACKSIZE=3048
|
|
CONFIG_NETUTILS_DHCPD_STARTIP=0xc0a80002
|
|
CONFIG_NETUTILS_TELNETC=y
|
|
CONFIG_NETUTILS_TELNETD=y
|
|
CONFIG_NET_ARP_IPIN=y
|
|
CONFIG_NET_ARP_SEND=y
|
|
CONFIG_NET_BROADCAST=y
|
|
CONFIG_NET_ETH_PKTSIZE=1518
|
|
CONFIG_NET_ICMP=y
|
|
CONFIG_NET_ICMP_SOCKET=y
|
|
CONFIG_NET_NETLINK=y
|
|
CONFIG_NET_SOLINGER=y
|
|
CONFIG_NET_TCP=y
|
|
CONFIG_NET_TCPBACKLOG=y
|
|
CONFIG_NET_TCP_DELAYED_ACK=y
|
|
CONFIG_NET_TCP_WRITE_BUFFERS=y
|
|
CONFIG_NET_UDP=y
|
|
CONFIG_NET_UDP_WRITE_BUFFERS=y
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_CROMFSETC=y
|
|
CONFIG_NSH_DISABLE_BASENAME=y
|
|
CONFIG_NSH_DISABLE_CMP=y
|
|
CONFIG_NSH_DISABLE_DD=y
|
|
CONFIG_NSH_DISABLE_DIRNAME=y
|
|
CONFIG_NSH_DISABLE_HEXDUMP=y
|
|
CONFIG_NSH_DISABLE_LOSETUP=y
|
|
CONFIG_NSH_DISABLE_MKFIFO=y
|
|
CONFIG_NSH_DISABLE_MKRD=y
|
|
CONFIG_NSH_DISABLE_PRINTF=y
|
|
CONFIG_NSH_DISABLE_PUT=y
|
|
CONFIG_NSH_DISABLE_TRUNCATE=y
|
|
CONFIG_NSH_DISABLE_UNAME=y
|
|
CONFIG_NSH_DISABLE_WGET=y
|
|
CONFIG_NSH_DISABLE_XD=y
|
|
CONFIG_NSH_FILEIOSIZE=512
|
|
CONFIG_NSH_LINELEN=128
|
|
CONFIG_NSH_MAXARGUMENTS=15
|
|
CONFIG_NSH_NESTDEPTH=8
|
|
CONFIG_NSH_READLINE=y
|
|
CONFIG_NSH_ROMFSETC=y
|
|
CONFIG_NSH_ROMFSSECTSIZE=128
|
|
CONFIG_NSH_VARS=y
|
|
CONFIG_PIPES=y
|
|
CONFIG_PREALLOC_TIMERS=50
|
|
CONFIG_PRIORITY_INHERITANCE=y
|
|
CONFIG_PTHREAD_MUTEX_TYPES=y
|
|
CONFIG_PTHREAD_STACK_MIN=512
|
|
CONFIG_PWM_MULTICHAN=y
|
|
CONFIG_PWM_NCHANNELS=4
|
|
CONFIG_RAMTRON_EMULATE_PAGE_SHIFT=10
|
|
CONFIG_RAMTRON_EMULATE_SECTOR_SHIFT=10
|
|
CONFIG_RAMTRON_SETSPEED=y
|
|
CONFIG_RAM_SIZE=114688
|
|
CONFIG_RAM_START=0x20000000
|
|
CONFIG_RAW_BINARY=y
|
|
CONFIG_READLINE_CMD_HISTORY=y
|
|
CONFIG_READLINE_CMD_HISTORY_LEN=4
|
|
CONFIG_READLINE_CMD_HISTORY_LINELEN=64
|
|
CONFIG_READLINE_TABCOMPLETION=y
|
|
CONFIG_SCHED_HPWORK=y
|
|
CONFIG_SCHED_HPWORKPRIORITY=249
|
|
CONFIG_SCHED_HPWORKSTACKSIZE=1280
|
|
CONFIG_SCHED_INSTRUMENTATION=y
|
|
CONFIG_SCHED_INSTRUMENTATION_EXTERNAL=y
|
|
CONFIG_SCHED_INSTRUMENTATION_SWITCH=y
|
|
CONFIG_SCHED_LPWORK=y
|
|
CONFIG_SCHED_LPWORKPRIOMAX=178
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SEM_PREALLOCHOLDERS=32
|
|
CONFIG_SERIAL_TERMIOS=y
|
|
CONFIG_SIG_DEFAULT=y
|
|
CONFIG_SIG_SIGALRM_ACTION=y
|
|
CONFIG_SIG_SIGCONDTIMEDOUT=19
|
|
CONFIG_SIG_SIGUSR1_ACTION=y
|
|
CONFIG_SIG_SIGUSR2_ACTION=y
|
|
CONFIG_SIG_SIGWORK=20
|
|
CONFIG_SPIFFS_NAME_MAX=48
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_DAY=30
|
|
CONFIG_START_MONTH=11
|
|
CONFIG_STDIO_BUFFER_SIZE=32
|
|
CONFIG_SYSTEM_DHCPC_RENEW=y
|
|
CONFIG_SYSTEM_MDIO=y
|
|
CONFIG_SYSTEM_NETDB=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_NSH_STACKSIZE=1000
|
|
CONFIG_SYSTEM_PING=y
|
|
CONFIG_TASK_NAME_SIZE=24
|
|
CONFIG_TLS_TASK_NELEM=4
|
|
CONFIG_UART0_SERIAL_CONSOLE=y
|
|
CONFIG_USEC_PER_TICK=1000
|
|
CONFIG_WIRELESS=y
|
|
CONFIG_WIRELESS_WAPI=y
|
|
CONFIG_WIRELESS_WAPI_CMDTOOL=y
|
|
CONFIG_WIRELESS_WAPI_STACKSIZE=4096
|