7 commits

Author	SHA1	Message	Date
Jorge Aparicio	c6bf89a318	remove unnecessary trait bounds	2017-04-14 00:33:07 -05:00
Jorge Aparicio	bf17ee7422	pass P0 to init, derive GreaterThanOrEqual for U0	2017-04-14 00:15:49 -05:00
Jorge Aparicio	398a5ebc5c	add critical, a global critical section	2017-04-13 23:52:02 -05:00
Jorge Aparicio	26f8ca6969	rustfmt	2017-04-12 15:28:18 -05:00
Jorge Aparicio	5d6847ab7b	partial thumv6m-none-eabi support	2017-04-11 23:19:18 -05:00
Jorge Aparicio	595404c5ff	compile time verified ceilings	2017-04-09 22:42:17 -05:00
Jorge Aparicio	e631d8513a	partial thumbv6m-none-eabi support	2017-04-06 14:06:33 -05:00