On Tue, 12 Aug 2014 11:11:00 -0700 Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: [...] > > + The utilisation of a real-time task is defined as the ratio > > between its > > + wcet and its period (or minimum inter-arrival time), and > > represents > > "wcet" seems to be used here without any explanation of what it > means. Sorry, this should have been "WCET" (Worst Case Execution Time), which is defined few lines above. I'll fix the typo (together with the other issues that have been pointed out). Thanks, Luca -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html