Re: [seL4] How to avoid timeout exceptions in non-buggy server code

Kelly Dean writes:

But network traffic might be mixed criticality. For example, real-time sensor data mixed with bulk file transfers. Suppose the most critical thread must be allocated 90% to cover its worst case utilization

Er, I worded that poorly. Should have been explicit that all the example percentages I gave are of CPU utilization. Maybe network link capacity could be divvied in a similar way to CPU capacity, but I was only talking about the latter.