5 Nov
2021
5 Nov
'21
10:53 p.m.
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