Amirreza Zarrabi 36e5db7aac Merge pull request #399 in SEL4/sel4 from ~AZARRABI/sel4:smp_idle to master ... * commit '1887ae9dce65c3a32df244c19b635cbe5e3d72bf': Update SMP idle thread handling		2016-10-14 00:22:46 +00:00
..
arm	Update SMP idle thread handling	2016-10-14 11:15:39 +11:00
x86/arch	Merge pull request #399 in SEL4/sel4 from ~AZARRABI/sel4:smp_idle to master	2016-10-14 00:22:46 +00:00