Dear QEMU Developers, I'm currently working on a flight-critical system based on the NXP QorIQ T1040 processor and am exploring the feasibility of using QEMU for simulation and timing analysis. Our goal is to emulate the platform accurately enough to support early-stage WCET evaluation and software validation. Could you please advise on the following:
* Current support status for T1040 or e5500 core in QEMU * Availability of board-level emulation (e.g., T1040RDB or similar) * Trace or timing instrumentation capabilities relevant to WCET analysis * Recommendations for extending QEMU to support flight-critical timing constraints We're particularly interested in how QEMU could integrate with tools like TimeWeaver or other WCET frameworks, and whether any community efforts exist around multi-core PowerPC emulation. Thank you for your time and for the incredible work on QEMU. Best regards, Dan Collins Software Engineer Sr Stf Lockheed Martin Aerodynamics Fort Worth Texas [email protected]<mailto:[email protected]> 817-777-8872
