AndreHeinemans-NXP opened a new issue, #18112: URL: https://github.com/apache/nuttx/issues/18112
### Description / Steps to reproduce the issue Nuttx doesn't boot anymore on the imx95-evk since #18040. The old implementation of getpid uses nxsched_getpid() and returns IDLE_PROCESS_ID if rtcb == NULL. But on the new impl a debug assert on rtcb happens on [this line](https://github.com/apache/nuttx/blob/0af8d03d882a627f97e9a2f4137db4699fcc37f8/sched/sched/sched_get_stackinfo.c#L64) getpid() is called [here](https://github.com/apache/nuttx/blob/0af8d03d882a627f97e9a2f4137db4699fcc37f8/arch/arm/src/imx9/imx9_scmi.c#L982) ### On which OS does this issue occur? [OS: Linux] ### What is the version of your OS? Ubuntu 24.04 ### NuttX Version master ### Issue Architecture [Arch: arm] ### Issue Area [Area: Kernel] ### Host information _No response_ ### Verification - [x] I have verified before submitting the report. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
