Hi Gerwin, Thanks for the clarification :)
Hope someone will answer my second question (Rephrasing my question: is checkBudget part of the implementation of temporal partitioning, with +WCET for padding?) Regards, Jack _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
