Stefan Lankes 807c210111 update timer after updating the timer list ... - revise code, increase the readability		2018-04-29 23:50:02 +02:00
..
aarch64	use uart device to dump kernel messages	2018-04-28 23:29:36 +00:00
x86_64	update timer after updating the timer list	2018-04-29 23:50:02 +02:00