Hi Matt,
Thanks for the quick reply and advice. I was planning on trying 3.1.0 this arvo :D
Is WCET still a research focus of the team? RISC-V aside, for Armv7 v8 (and x64), measurement-based is probably the way forward IMHO. Wish there's more publications on measurement-based WCET of seL4. If the team & the community would like to share insights and discuss this matter, I'd be happy to stick around and ask more questions.
Regards, Jack