3 Commits

Author	SHA1	Message	Date
Laurent Deru	ccb705ed31	Use clock_gettime() instead of gettimeofday() to have a monotonic clock and use CLOCK_CONF_SECOND explicitly	2017-12-12 16:53:51 +01:00
George Oikonomou	3a1d362549	Provide boot sequence hooks (Native)	2017-10-29 23:18:36 +00:00
Nicolas Tsiftes	9bb51087bf	Renamed the drivers directory to arch to reflect that this is the main place for architecture-dependent functionality.	2017-06-28 16:20:43 +02:00