[To Pierre-Noël : Let me ask this question one more time: did you check if the email address you used for signing up is the same you're using to unregister from the ML? You're using multiple email addresses in this mailing-list, perhaps that could be it...]
Hi, Please be more specific about the commands you run so that we can help you. Also relevant lines in the terminal output would be greatly appreciated :) Regarding the development board, I would either recommend: - RP2040 based, like Raspberry Pi Pico. They're quite cheap (2 - 5 EUR) and sold everywhere. You'll most likely need two of those, one running NuttX, one running a debugger firmware (check out 'debugprobe' on GitHub). - STM32 based, like ST's Discovery or Olimex's. More expensive and a bit trickier to buy for an individual for sure, but the STM32 MCUs have better support in NuttX. Maybe other people in the mailing-list would have other recommendations? Best, Jean. > On 2 Feb 2026, at 20:05, kotaru <[email protected]> wrote: > > Hi James > Now I am not facing mc-medium problem but now I am also facing a posix > timer issue > Is there any idea I can fix it > > Can you recommend a development board with a. Debugger you were talking > about ? > > Thanks in advance > > On Mon, Feb 2, 2026 at 3:30 AM kotaru <[email protected]> wrote: > >> Hi everyone, >> >> I need some help setting up *NuttX* on my MacBook. I’m planning to start >> by using the *simulator*, and my machine is an *Apple Silicon (M4)* Mac. >> >> I’m trying to configure a *shell-based simulator*, but I’m running into >> an issue where the *-mcmodel=medium* option isn’t supported. >> >> Could someone guide me on the correct way to set up NuttX on macOS (Apple >> Silicon) and how to resolve this issue? >> >> Thanks in advance! >>
