Haha, no worries, just subscribed on Friday for this particular reason :) glad Renode was useful for EOS S3 and of course happy to see how we can enable more of that.
You mention you have a CI generating all the elfs, could you point me to where that can be found? We could grab those and try to run them, see what happens. I can explain how we approach the platform generation we are doing for Zephyr/U-Boot now to see how we could make it work for NuttX. Basically we have this https://github.com/antmicro/dts2repl utility which uses the Zephyr device trees generated with its build systems - with some hand-written overlays ( https://github.com/antmicro/dts2repl/tree/main/dts2repl/overlay) which we try to minimize / incorporate into the Zephyr device trees - into Renode's repl files (platform files, the ones describing HW platforms). For the simulation scenario, or .resc files, we have a template that's standard across all platforms for a specific Zephyr demo. Same could be done for NuttX of course. Then we use this to run all the tests across all the platforms, and gather and visualize the results. If, when running NuttX (or any other payload) on those platforms we find some of our platforms descriptions lacking some specific stuff like power or clock management, we would add the necessary stuff into the overlays (or Zephyr’s dts if possible) I think some STM32 platforms would be a good entry point, since there are many and they are pretty well supported in Renode/Zephyr/NuttX. But again, if you point me to the elf files you are hosting, we could probably consume them and report the results. CCing my team to follow the conversation. They will have more details if needed. Best regards, Michael On Sat, 27 May 2023 at 01:01, Brennan Ashton <bash...@brennanashton.com> wrote: > Still dropped him. Apparently I cannot use email correctly today... > > On Fri, May 26, 2023, 3:40 PM Brennan Ashton <bash...@brennanashton.com> > wrote: > >> Adding Michael back since I responded to him and he might not be on the >> list... >> >> On Fri, May 26, 2023 at 3:23 PM Brennan Ashton >> <bash...@brennanashton.com> wrote: >> > >> > >> > >> > On Fri, May 26, 2023, 3:11 PM Michael Gielda <mgie...@antmicro.com> >> wrote: >> >> >> >> Hi Alan, nice to meet you Nathan, >> >> >> >> Indeed, we discussed with Alan some time ago, having a Nuttx-focused >> >> dashboard can be done and we assume would be useful. We just didn’t >> get to >> >> that as it would have been yet another research project (we are now >> also >> >> building a U-Boot dashboard, as we added 64-bit Cortex-A support - >> >> https://antmicro.com/blog/2023/04/armv8-a-support-in-renode/ - as >> well as >> >> Cortex-R). But if there is interest, perhaps it’s worth revisiting the >> idea. >> >> >> >> On our end, we base the simulation platform configuration on Zephyr, >> so we >> >> basically need a mapping of platforms in Nuttx to their “Zephyr names” >> - we >> >> can start of course with 1-2 and expand to more with time. >> >> >> >> Best regards, >> >> >> >> Michael >> > >> > >> > Hey Michael, >> > I actually had used renode when added upstream support a few years ago >> with the QuickLogic EOS S3, and it was quite helpful. That's when I talked >> a bit about seeing if we could use it as a test platform here. >> https://docs.google.com/presentation/d/1G1IKe3SjmB42eb7dhdoa4P_nREknsJy1/edit#slide=id.g9044e8e6ab_0_17 >> > >> > One of the reasons I added support to export build artifacts in CI was >> to enable having downstream stages that can pick up the already generated >> elf. >> > >> > One thing at the time I hit with the targets I tested was some >> assumptions around power and clock management that prevented NuttX from >> booting (waiting for status bits usually). So if we do go down this route >> I suspect we will need to upstream some of those bits to the emulation >> which I don't recall being too complicated. >> > >> > If people have a supported platform they would like to see I would be >> happy to wire a proof of concept through. >> > >> > --Brennan >> > -- Michael Gielda mobile: +46 73 759 47 27 Antmicro AB | www.antmicro.com Kistagången 16, 164 40 Kista, Sweden