M1cha 8e0afb2b5e [arch][or1k] get working after SMP changes

2015-09-20 18:20:22 -07:00

..

arm_gic

[dev][arm_gic] fix warning in arm64 by adding arm/arm64 specific iframe code

2015-09-20 14:05:31 -07:00

or1k_pic

[arch][or1k] get working after SMP changes

2015-09-20 18:20:22 -07:00