boards/mps2: Mount xipfs on a RAM MTD device.

Give the QEMU boards the same directly addressable media the sim
configuration has: rammtd answers BIOC_XIPBASE with the base of its buffer,
so xipfs layered on it hands out real pointers and the in-place mmap path
can be exercised on an ARM target with no flash present.  Registered as
/dev/rammtd and mounted at /mnt/xipfs when xipfs is configured.

Both mps2-an500 (Cortex-M7, armv7e-m) and mps2-an521 (Cortex-M33, armv8-m)
get it, which is what makes the filesystem testable on two different core
generations without either one needing flash.

Each board also gets a xipfs configuration that runs the test suite, so the
bringup above is exercised rather than only compiled.  Both run the suite to
completion under QEMU 10.1, 90 checks apiece, the power loss sweeps included.

The an521 configuration carries CONFIG_CMSDK_UART0_RX_IRQ=48 and _TX_IRQ=49
rather than the reversed pair the an521 nsh configuration uses.  That is the
SSE-200 order, receive first, and the one consistent both with the overflow
interrupt at 63 that nsh already has and with mps2-an500, which puts RX at 16
and TX at 17.  With the pair reversed the TX interrupt reaches
uart_cmsdk_rx_interrupt, which acknowledges only UART_INTSTATUS_RX, so the
board live-locks on its first console write.  Correcting nsh is left to a
separate change.

Assisted-by: Claude Code:claude-opus-5
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
This commit is contained in:
Marco Casaroli 2026-07-25 13:08:40 +02:00 committed by Alan C. Assis
parent d3c25e7754
commit 385b945ea9
4 changed files with 282 additions and 0 deletions

View file

@ -0,0 +1,88 @@
#
# 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="arm"
CONFIG_ARCH_BOARD="mps2-an500"
CONFIG_ARCH_BOARD_MPS2_AN500=y
CONFIG_ARCH_CHIP="mps"
CONFIG_ARCH_CHIP_MPS2_AN500=y
CONFIG_ARCH_CHIP_MPS=y
CONFIG_ARCH_INTERRUPTSTACK=2048
CONFIG_ARCH_STACKDUMP=y
CONFIG_ARMV7M_SYSTICK=y
CONFIG_ARM_MPU=y
CONFIG_ARM_MPU_NREGIONS=1
CONFIG_ARM_MPU_RESET=y
CONFIG_BUILTIN=y
CONFIG_CMSDK_UART0=y
CONFIG_CMSDK_UART0_BASE=0x40004000
CONFIG_CMSDK_UART0_CLOCK=25000000
CONFIG_CMSDK_UART0_OV_IRQ=28
CONFIG_CMSDK_UART0_RX_IRQ=16
CONFIG_CMSDK_UART0_SERIAL_CONSOLE=y
CONFIG_CMSDK_UART0_TX_IRQ=17
CONFIG_CMSDK_UART=y
CONFIG_CXX_STANDARD="c++17"
CONFIG_DEBUG_ASSERTIONS=y
CONFIG_DEBUG_BUSFAULT=y
CONFIG_DEBUG_FEATURES=y
CONFIG_DEBUG_HARDFAULT_ALERT=y
CONFIG_DEBUG_SCHED=y
CONFIG_DEBUG_SCHED_ERROR=y
CONFIG_DEBUG_SCHED_INFO=y
CONFIG_DEBUG_SCHED_WARN=y
CONFIG_DEBUG_SYMBOLS=y
CONFIG_DEBUG_USAGEFAULT=y
CONFIG_DEFAULT_TASK_STACKSIZE=4096
CONFIG_EXPERIMENTAL=y
CONFIG_FRAME_POINTER=y
CONFIG_FS_PROCFS=y
CONFIG_FS_ROMFS=y
CONFIG_FS_TMPFS=y
CONFIG_FS_XIPFS=y
CONFIG_FS_XIPFS_FAULT_INJECT=y
CONFIG_HAVE_CXX=y
CONFIG_HAVE_CXXINITIALIZE=y
CONFIG_IDLETHREAD_STACKSIZE=4096
CONFIG_INIT_ENTRYPOINT="nsh_main"
CONFIG_INTELHEX_BINARY=y
CONFIG_LIBC_MEMFD_ERROR=y
CONFIG_LIBC_STRERROR=y
CONFIG_LIBC_STRERROR_ERRNUM=y
CONFIG_MTD=y
CONFIG_NSH_BUILTIN_APPS=y
CONFIG_NSH_FILEIOSIZE=512
CONFIG_NSH_READLINE=y
CONFIG_PREALLOC_TIMERS=4
CONFIG_PROFILE_ALL=y
CONFIG_PROFILE_MINI=y
CONFIG_RAMLOG=y
CONFIG_RAMMTD=y
CONFIG_RAMMTD_FLASHSIM=y
CONFIG_RAM_SIZE=2097152
CONFIG_RAM_START=0x60000000
CONFIG_RAW_BINARY=y
CONFIG_READLINE_CMD_HISTORY=y
CONFIG_RR_INTERVAL=200
CONFIG_SCHED_HPWORK=y
CONFIG_SCHED_HPWORKPRIORITY=192
CONFIG_SCHED_IRQMONITOR=y
CONFIG_SPINLOCK=y
CONFIG_STACK_COLORATION=y
CONFIG_STANDARD_SERIAL=y
CONFIG_START_DAY=25
CONFIG_START_MONTH=4
CONFIG_START_YEAR=2023
CONFIG_SYMTAB_ORDEREDBYNAME=y
CONFIG_SYSTEM_GPROF=y
CONFIG_SYSTEM_NSH=y
CONFIG_SYSTEM_SYSTEM=y
CONFIG_SYSTEM_XIPFS=y
CONFIG_TESTING_FS_XIPFS=y
CONFIG_TIMER=y
CONFIG_TIMER_ARCH=y
CONFIG_USEC_PER_TICK=1000

View file

@ -31,10 +31,20 @@
#include <nuttx/fs/fs.h>
#ifdef CONFIG_RAMMTD
# include <nuttx/drivers/drivers.h>
# include <nuttx/kmalloc.h>
# include <nuttx/mtd/mtd.h>
#endif
/****************************************************************************
* Pre-processor Definitions
****************************************************************************/
#ifdef CONFIG_RAMMTD
# define MPS2_RAMMTD_SIZE (256 * 1024)
#endif
/****************************************************************************
* Private Functions
****************************************************************************/
@ -73,6 +83,54 @@ static int mps2_bringup(void)
}
#endif
#ifdef CONFIG_RAMMTD
/* A RAM backed MTD device standing in for memory mapped NOR. rammtd
* answers BIOC_XIPBASE with the base of its buffer, so xipfs layered on it
* can hand out real, directly executable pointers -- which is what lets a
* module be executed in place rather than copied. This gives the xipfs
* test suite a target with no real flash.
*/
{
FAR uint8_t *ramstart = kmm_malloc(MPS2_RAMMTD_SIZE);
FAR struct mtd_dev_s *mtd;
if (ramstart == NULL)
{
syslog(LOG_ERR, "ERROR: Failed to allocate RAM MTD\n");
}
else if ((mtd = rammtd_initialize(ramstart, MPS2_RAMMTD_SIZE)) == NULL)
{
syslog(LOG_ERR, "ERROR: rammtd_initialize failed\n");
kmm_free(ramstart);
}
else
{
mtd->ioctl(mtd, MTDIOC_BULKERASE, 0);
ret = register_mtddriver("/dev/rammtd", mtd, 0755, NULL);
if (ret < 0)
{
syslog(LOG_ERR, "ERROR: register_mtddriver failed: %d\n", ret);
}
#ifdef CONFIG_FS_XIPFS
else
{
ret = nx_mount("/dev/rammtd", "/mnt/xipfs", "xipfs", 0,
"autoformat");
if (ret < 0)
{
syslog(LOG_ERR,
"ERROR: Failed to mount xipfs at /mnt/xipfs: %d\n",
ret);
}
}
#endif
}
}
#endif
return ret;
}

View file

@ -0,0 +1,78 @@
#
# 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_DEBUG_WARN is not set
CONFIG_ARCH="arm"
CONFIG_ARCH_BOARD="mps2-an521"
CONFIG_ARCH_BOARD_MPS2_AN521=y
CONFIG_ARCH_CHIP="mps"
CONFIG_ARCH_CHIP_MPS2_AN521=y
CONFIG_ARCH_CHIP_MPS=y
CONFIG_ARCH_INTERRUPTSTACK=2048
CONFIG_ARCH_STACKDUMP=y
CONFIG_ARMV8M_SYSTICK=y
CONFIG_ARM_MPU=y
CONFIG_ARM_MPU_NREGIONS=1
CONFIG_ARM_MPU_RESET=y
CONFIG_BUILTIN=y
CONFIG_CMSDK_UART0=y
CONFIG_CMSDK_UART0_BASE=0x50200000
CONFIG_CMSDK_UART0_CLOCK=25000000
CONFIG_CMSDK_UART0_OV_IRQ=63
CONFIG_CMSDK_UART0_RX_IRQ=48
CONFIG_CMSDK_UART0_SERIAL_CONSOLE=y
CONFIG_CMSDK_UART0_TX_IRQ=49
CONFIG_CMSDK_UART=y
CONFIG_DEBUG_ASSERTIONS=y
CONFIG_DEBUG_FEATURES=y
CONFIG_DEBUG_SCHED=y
CONFIG_DEBUG_SCHED_ERROR=y
CONFIG_DEBUG_SYMBOLS=y
CONFIG_DEFAULT_TASK_STACKSIZE=4096
CONFIG_EXPERIMENTAL=y
CONFIG_FS_PROCFS=y
CONFIG_FS_ROMFS=y
CONFIG_FS_TMPFS=y
CONFIG_FS_XIPFS=y
CONFIG_FS_XIPFS_FAULT_INJECT=y
CONFIG_HAVE_CXX=y
CONFIG_HAVE_CXXINITIALIZE=y
CONFIG_IDLETHREAD_STACKSIZE=4096
CONFIG_INIT_ENTRYPOINT="nsh_main"
CONFIG_INTELHEX_BINARY=y
CONFIG_LIBC_MEMFD_ERROR=y
CONFIG_LIBC_STRERROR=y
CONFIG_LIBC_STRERROR_ERRNUM=y
CONFIG_MTD=y
CONFIG_NSH_BUILTIN_APPS=y
CONFIG_NSH_FILEIOSIZE=512
CONFIG_NSH_READLINE=y
CONFIG_PREALLOC_TIMERS=4
CONFIG_RAMLOG=y
CONFIG_RAMMTD=y
CONFIG_RAMMTD_FLASHSIM=y
CONFIG_RAM_SIZE=2097152
CONFIG_RAM_START=0x38000000
CONFIG_RAW_BINARY=y
CONFIG_READLINE_CMD_HISTORY=y
CONFIG_RR_INTERVAL=200
CONFIG_SCHED_HPWORK=y
CONFIG_SCHED_HPWORKPRIORITY=192
CONFIG_SPINLOCK=y
CONFIG_STACK_COLORATION=y
CONFIG_STANDARD_SERIAL=y
CONFIG_START_DAY=25
CONFIG_START_MONTH=4
CONFIG_START_YEAR=2023
CONFIG_SYMTAB_ORDEREDBYNAME=y
CONFIG_SYSTEM_NSH=y
CONFIG_SYSTEM_SYSTEM=y
CONFIG_SYSTEM_XIPFS=y
CONFIG_TESTING_FS_XIPFS=y
CONFIG_TIMER=y
CONFIG_TIMER_ARCH=y
CONFIG_USEC_PER_TICK=1000

View file

@ -31,10 +31,20 @@
#include <nuttx/fs/fs.h>
#ifdef CONFIG_RAMMTD
# include <nuttx/drivers/drivers.h>
# include <nuttx/kmalloc.h>
# include <nuttx/mtd/mtd.h>
#endif
/****************************************************************************
* Pre-processor Definitions
****************************************************************************/
#ifdef CONFIG_RAMMTD
# define MPS2_RAMMTD_SIZE (256 * 1024)
#endif
/****************************************************************************
* Private Functions
****************************************************************************/
@ -73,6 +83,54 @@ static int mps2_bringup(void)
}
#endif
#ifdef CONFIG_RAMMTD
/* A RAM backed MTD device standing in for memory mapped NOR. rammtd
* answers BIOC_XIPBASE with the base of its buffer, so xipfs layered on it
* can hand out real, directly executable pointers -- which is what lets a
* module be executed in place rather than copied. This gives the xipfs
* test suite a target with no real flash.
*/
{
FAR uint8_t *ramstart = kmm_malloc(MPS2_RAMMTD_SIZE);
FAR struct mtd_dev_s *mtd;
if (ramstart == NULL)
{
syslog(LOG_ERR, "ERROR: Failed to allocate RAM MTD\n");
}
else if ((mtd = rammtd_initialize(ramstart, MPS2_RAMMTD_SIZE)) == NULL)
{
syslog(LOG_ERR, "ERROR: rammtd_initialize failed\n");
kmm_free(ramstart);
}
else
{
mtd->ioctl(mtd, MTDIOC_BULKERASE, 0);
ret = register_mtddriver("/dev/rammtd", mtd, 0755, NULL);
if (ret < 0)
{
syslog(LOG_ERR, "ERROR: register_mtddriver failed: %d\n", ret);
}
#ifdef CONFIG_FS_XIPFS
else
{
ret = nx_mount("/dev/rammtd", "/mnt/xipfs", "xipfs", 0,
"autoformat");
if (ret < 0)
{
syslog(LOG_ERR,
"ERROR: Failed to mount xipfs at /mnt/xipfs: %d\n",
ret);
}
}
#endif
}
}
#endif
return ret;
}