106 commits

Author	SHA1	Message	Date
Jorge Aparicio	595404c5ff	compile time verified ceilings	2017-04-09 22:42:17 -05:00
Jorge Aparicio	185f368d63	use volatile read/writes for checked::Resource.locked	2017-04-07 18:57:13 -05:00
Jorge Aparicio	f2bab47aa4	allow returns from checked::Resource.lock{,mut} ... also add compiler barriers	2017-04-07 18:14:48 -05:00
Jorge Aparicio	441a822780	use stable release of the cortex-m crate	2017-03-12 11:19:43 -05:00
Jorge Aparicio	d88a15fb25	adapt to changes in cortex-m, verify the input of the priority function	2017-03-08 08:10:58 -05:00
Jorge Aparicio	aba9333799	initial commit	2017-03-05 00:29:08 -05:00