Martin Stein 4fa0cb5c29 timer pit: handle and display bad latency ... If the PIT timer driver gets activated too slow (e.g. because of a bad priority configuration), it might miss counter wraps and would than produce sudden time jumps. The driver now detects this problem dynamically, warns about it and adapts the affected values to avoid time jumps. Ref #2400		2017-10-05 17:39:55 +02:00
..
app	VFS: nonblocking interface	2017-08-28 16:49:38 +02:00
drivers	timer pit: handle and display bad latency	2017-10-05 17:39:55 +02:00
init	init: avoid repeated config XML parsing	2017-08-28 16:49:37 +02:00
lib	timer connection: fix division by null	2017-08-28 16:49:49 +02:00
server	server/vfs: status completes or throw Invalid_handle	2017-10-05 17:39:55 +02:00
test	sel4: adjust cap ram quota of fault_detection.run	2017-08-30 10:00:01 +02:00