Sebastien, please provide details on build configuration / how to reproduce, we cannot reproduce the problem.
I think I will charge you hourly rate for playing the "deaf phone" as your secretary :D :D @cederom which defconfig is used? I try the master branch sim:nsh with sed 4.9 without problem: xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$ ./tools/configure.sh sim:nsh Copy files Select CONFIG_HOST_LINUX=y Refreshing... CP: arch/dummy/Kconfig to /home/xiaoxiang/backup/os/nuttx/nuttx/arch/dummy/dummy_kconfig CP: boards/dummy/Kconfig to /home/xiaoxiang/backup/os/nuttx/nuttx/boards/dummy/dummy_kconfig LN: platform/board to /home/xiaoxiang/backup/os/nuttx/apps/platform/dummy LN: include/arch to arch/sim/include LN: include/arch/board to /home/xiaoxiang/backup/os/nuttx/nuttx/boards/sim/sim/sim/include LN: drivers/platform to /home/xiaoxiang/backup/os/nuttx/nuttx/drivers/dummy LN: include/arch/chip to /home/xiaoxiang/backup/os/nuttx/nuttx/arch/sim/include/sim LN: arch/sim/src/chip to /home/xiaoxiang/backup/os/nuttx/nuttx/arch/sim/src/sim LN: arch/sim/src/board to /home/xiaoxiang/backup/os/nuttx/nuttx/boards/sim/sim/sim/src mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/audioutils mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/benchmarks mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/boot mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/canutils mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/crypto mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/database mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/mcuboot mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/module mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/rust mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/sotest mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/fsutils mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/games mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/graphics mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/industry mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/inertial mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/interpreters/luamodules mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/interpreters mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/logging mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/lte mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/math mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/mlearning mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/netutils mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/sdr mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/system mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/arch mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/cxx mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/drivers mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/fs mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/libc mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/mm mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/sched mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/videoutils mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless/bluetooth mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless/ieee802154 mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps Loaded configuration '.config' Configuration saved to '.config' xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$ xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$ sed --version sed (GNU sed) 4.9-dirty Copyright (C) 2022 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>. This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Written by Jay Fenlason, Tom Lord, Ken Pizzini, Paolo Bonzini, Jim Meyering, and Assaf Gordon. This sed program was built with SELinux support. SELinux is disabled on this system. GNU sed home page: <https://www.gnu.org/software/sed/>. General help using GNU software: <https://www.gnu.org/gethelp/>. E-mail bug reports to: <bug-...@gnu.org>. -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info