2 Commits

Author	SHA1	Message	Date
Simon Duquennoy	ff7c3ee042	Make rtimer 32-bit by default	2018-04-20 05:20:37 -07: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