Kees Jongenburger ed45d98dac arm:ensure read_tsc_64 always returns a valid value.
Before this change overflowing the free running clock counter
between the time the timer was read and the time the overflow
check was done resulted in read_tsc_64 returning a to high value.

Change-Id: I1022f271213647f720477c4121d45f0c965456c6
2013-09-27 11:29:04 +02:00
2013-09-25 19:30:22 +02:00
2013-08-20 11:37:40 +02:00
2013-09-03 08:14:18 -04:00
2013-09-26 12:11:29 +02:00
2013-08-21 13:53:39 +02:00
2013-09-26 09:05:44 +02:00
2013-08-21 13:53:39 +02:00
2013-09-01 12:59:37 +00:00
2013-09-26 09:05:28 +02:00
2013-09-25 19:30:22 +02:00
2013-08-21 13:53:39 +02:00
2010-01-21 10:16:05 +00:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%