Mitchell Buckley f4f6b156e3 SELFOUR-1491: verification updates ... - renamed an architecture label so that it begins with ARM. - changed setIRQTrigger so that it takes a boolean value instead of an int. - Arch_decodeIRQControlInvocation converts the second argument (trigger) to a boolean immediately.		2018-09-19 12:06:35 +10:00
..
interfaces	SELFOUR-1491: verification updates	2018-09-19 12:06:35 +10:00
sel4/arch	libsel4: Remove bitfield type unifying Guard and Badge construction	2017-10-27 12:15:09 +11:00