yf13 commented on PR #12881: URL: https://github.com/apache/nuttx/pull/12881#issuecomment-2407381542
@pussuw, as I have basically no browser access to Github.com, thus I am unaware of that PR until seeing your last comment. I agree with you that if we need physical id, another API shall be introduced. When running AMP NuttX instances with QEMU, I didn't use such physical hart id API but used `QEMU_RPTUN_MASTER_IPI` and `QQEMU_RPTUN_REMOTE_IPIS` to provision resources on the peer nodes. -- 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]
