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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
